AI Research Company
Appears in 1 story · Last updated Oct 16, 2026
Developer of Aristotle theorem prover, central to recent breakthroughs
On May 20, 2026, OpenAI disclosed that an internal AI model had found a counterexample to the planar unit distance conjecture, a problem Erdős posed in 1946. Mathematicians who checked the result say it is a genuine advance, the first historically significant proof by an AI model.
Updated Oct 16
No stories match your search
Try a different keyword
How would you like to describe your experience with the app today?
