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 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?
