Fields Medalist, UCLA Mathematics Professor
Appears in 1 story
Actively coordinating AI-assisted mathematics research through erdosproblems.com
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?
