AI
OpenAI’s AI autonomously disproves 80-year-old Erdős conjecture, marking first frontier mathematical discovery
A reasoning model independently solved the Erdős unit distance problem in May 2026, validating AI as a genuine research tool in pure mathematics and accelerating the timeline for machine-driven scientific discovery.
6 min read
·