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 arti
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
|
Submission declined on 19 July 2026 by CopyleftEverything (talk). This draft reads like an advertisement. Wikipedia is an encyclopedia, not a platform for promotion or marketing. Drafts that are exclusively promotional may be deleted without notice.
Declined by CopyleftEverything 28 days ago.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. |
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].
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.
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]
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[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 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]
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.
- provide significant coverage: discuss the subject in detail, excluding routine coverage like product launches, staff appointments, or financial reports and listings in databases or listicles;
- are reliable: from reputable outlets with editorial oversight;
- are independent: not connected to the subject, such as press releases, the subject's own website, or sponsored content.
Please add references that meet all three of these criteria. If none exist, the subject is not yet suitable for Wikipedia.