Draft:Logical Intelligence

  • Comment: Expanding on the previous reviewer's assessment, it is unlikely a 1 year old company could pass corp notability, not to mention general notability.
    Having a look at the sourcing, ncorp sets a stricter bar than general notability. Most citations here fall into generally excluded ones, such as funding round announcements, growing companies lists, routine business reporting, passing mentions and other PR coverage which usually circumvents editorial processes. Sources containing original, independent analysis of the company are lacking. Several sources extending beyond restating what the company itself said are deemed necessary for encyclopedic content. Due to the company's infancy, it is highly unlikely in-depth coverage exists from established press that analyzes the company in depth and to an extent that unreservedly attests the business's notability. Having said that, if you think such coverage exists, resubmit the draft with said referencing. PK650 (talk) 06:10, 11 August 2026 (UTC)
  • Comment: 1. Please read WP:SOLUTIONS and remove marketing fluff terms. 2. Please read WP:NPOV and rewrite article in neutral & encyclopedic for tone & content. CopyleftEverything (talk) 01:39, 19 July 2026 (UTC)

Logical Intelligence

Logical Intelligence is an American artificial intelligence company based in Palo Alto, California, founded in 2025 by physicist Eve Bodnia.[1][2]. The company develops energy-based reasoning models (EBRMs), a type of machine learning trained on a fixed set of paramaters, which means the model treats the task as a search for the best answer, rather than generating output sequentiallly like most large language models. Logical Intelligence has said EBRMs could be applied to industries where accuracy is critical, including manufacturing, robotics, and energy[2].

In January 2026, the company introduced its first model, Kona 1.0, and appointed AI researcher Yann LeCun as founding chair of its Technical Research Board[3].

History

In January 2026, the company introduced Kona 1.0, its first energy-based reasoning model, claiming it could solve problems with great accuracy and less power than major larage language models like OpenAI’s GPT-5 and Google’s Gemini[2].

The announcement coincided with the appointment of AI researcher Yann LeCun as founding chair of the company's Technical Research Board. The Financial Times reported[2] that Logical Intelligence was preparing a funding round targeting a valuation of between US$1 billion and US$2 billion following the launch of Kona.

Leadership

Logical Intelligence was founded by physicist Eve Bodnia, who serves as the company’s chief executive officer[4].

In January 2026, AI researcher Yann LeCun joined the company[2] as founding chair of its Technical Research Board.  LeCun previously served as chief AI scientist at Meta and later co-founded AMI Labs, a Paris-based AI company focused on world models[5]. He received the 2018 ACM A.M. Turing Award[6], shared with Yoshua Bengio and Geoffrey Hinton, for work on deep neural networks.

The company’s leadership also includes Patrick Hillmann[7], who serves as Chief Operating Officer and Chief Strategy Officer.

Alex Fetisov serves as Logical Intelligence’s Chief Technology Officer.[8]

Technology

Energy-based reasoning models

Logical Intelligence develops energy-based reasoning models (EBRMs): machine learning systems that solve problems by searching for the answer that best satisfies a problem's constraints, rather than by generating output sequentially[3].

Kona 1.0

Kona 1.0[9] is Logical Intelligence’s main energy-based reasoning model. It was introduced in January 2026 for enterprise and industrial applications. The Financial Times reported[2] that the company positioned Kona for fields such as manufacturing, robotics, and energy.

In a demo in January 2026, the company demonstrataed Kona solving a Sudoku puzzle faster than large language models from OpenAI, Google, and Anthropic.[2]

Aleph

Aleph is an AI agent developed by Logical Intelligence for formal verification of software. The agent converts code into mathematical proofs, which can run to tens of thousands of lines, that are then machine-checked[10]

  1. ^ "Logical Intelligence - Products, Competitors, Financials, Employees, Headquarters Locations". CB Insights. Retrieved 2026-07-16.
  2. ^ a b c d e f g "Logical Intelligence brings LeCun on board as it touts AI breakthrough". www.ft.com. Archived from the original on 2026-03-10. Retrieved 2026-07-16.
  3. ^ a b Khalili, Joel (2026-01-29). "A Yann LeCun–Linked Startup Charts a New Path to AGI". Wired. ISSN 1059-1028. Retrieved 2026-07-16.
  4. ^ Loizos, Connie (2026-05-07). "Five architects of the AI economy explain where the wheels are coming off". TechCrunch. Retrieved 2026-07-16.
  5. ^ "Artificial intelligence: Yann LeCun works on more flexible AI". www.bbc.com. 2026-07-02. Retrieved 2026-07-16.
  6. ^ "2018 ACM A.M. Turing Award Laureates". awards.acm.org. Retrieved 2026-07-16.
  7. ^ "Logical Intelligence · AI Certainty for Critical Systems". logicalintelligence.com. Retrieved 2026-07-16.
  8. ^ "Logical Intelligence". logicalintelligence.com. Retrieved 2026-07-16.
  9. ^ "Kona: Energy-Based Models (EBMs) for AI Reasoning". logicalintelligence.com. Retrieved 2026-07-16.
  10. ^ Konrad, Alex (2025-09-19). "Math-Whiz Startups Push A New Way To Check If AI Code Really Works". www.upstartsmedia.com. Retrieved 2026-07-23.

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.