Draft:Logical Intelligence
 | Review waiting, please be patient.
This may take 4 months or more, since drafts are reviewed in no specific order. There are 4,585 pending submissions waiting for review.
Where to get help
How to improve a draft
You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Editor resources
Reviewer tools
|
Submission declined on 19 July 2026 by CopyleftEverything (talk).
Where to get help
How to improve a draft
You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Editor resources
This draft has been resubmitted and is currently awaiting re-review. |  |
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
[edit]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
[edit]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
[edit]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
[edit]Energy-based reasoning models
[edit]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
[edit]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
[edit]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].
- ^ "Logical Intelligence - Products, Competitors, Financials, Employees, Headquarters Locations". CB Insights. Retrieved 2026-07-16.
- ^ 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.
- ^ 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.
- ^ Loizos, Connie (2026-05-07). "Five architects of the AI economy explain where the wheels are coming off". TechCrunch. Retrieved 2026-07-16.
- ^ "Artificial intelligence: Yann LeCun works on more flexible AI". www.bbc.com. 2026-07-02. Retrieved 2026-07-16.
- ^ "2018 ACM A.M. Turing Award Laureates". awards.acm.org. Retrieved 2026-07-16.
- ^ "Logical Intelligence · AI Certainty for Critical Systems". logicalintelligence.com. Retrieved 2026-07-16.
- ^ "Logical Intelligence". logicalintelligence.com. Retrieved 2026-07-16.
- ^ "Kona: Energy-Based Models (EBMs) for AI Reasoning". logicalintelligence.com. Retrieved 2026-07-16.
- ^ 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.
Wikipedia articles must be written neutrally in a formal, impersonal, and dispassionate way. They should not read like a blog post, advertisement, or fan page. Rewrite the draft to remove:
Instead, only summarize in your own words a range of independent, reliable, published sources that discuss the subject.
If you have a conflict of interest (e.g. you are the subject, an employee, or a relative) or are being paid to edit, you must disclose this to comply with Wikipedia's Terms of Use.