Why the Legendary Erdős Problems Are Falling to AI
On May 20, 2026, an unreleased OpenAI model found a counterexample to Erdős's 1946 'unit distance' conjecture — the first historically significant proof from an AI model. On August 1, OpenAI announced model Astra made 10 more mathematical advances, solving three more Erdős problems; humans improved the original result within weeks.
1 source
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- Ante is a coding agent in a single binary that runs offline
- Demo converts static images into editable DrawIO XML via SAM 3
- Lindy reads Slack history and answers with source links
- VicOne releases free cybersecurity extension for NVIDIA Isaac Sim
- Curated collection tracks LLM-based software vulnerability detection