Cambridge University Mathematics Student
Appears in 1 story
Pioneering amateur use of AI theorem provers
For the first time, AI systems are independently solving mathematical problems that stumped human researchers for decades. Since Christmas 2025, 15 problems from the legendary mathematician Paul Erdős's collection have been moved from 'open' to 'solved'—and 11 of those solutions specifically credited AI models. On January 6, 2026, a combination of OpenAI's GPT-5.2 Pro and Harmonic's Aristotle theorem prover produced the first fully autonomous AI solution to an Erdős problem that hadn't already been solved in the existing literature.
Updated Feb 13
No stories match your search
Try a different keyword
How would you like to describe your experience with the app today?
