AI Research Company
Appears in 1 story
Developer of Aristotle theorem prover, central to recent breakthroughs
For the first time, AI systems are independently solving mathematical problems that stumped human researchers for decades. Since Christmas 2025, 15 legendary Erdős problems have moved from 'open' to 'solved'—11 by AI, including the first on January 6, 2026, from OpenAI's GPT-5.2 Pro and Harmonic's Aristotle theorem prover.
Updated May 29
No stories match your search
Try a different keyword
How would you like to describe your experience with the app today?
