Why the Legendary Erdős Problems Are Falling to AI
On May 20, 2026, OpenAI announced an internal AI model found a counterexample to Erdős's 1946 unit distance conjecture. On August 1, unreleased model Astra made 10 more advances, solving three further Erdős problems. Princeton's Noga Alon: AI is 'changing dramatically the way mathematical research is being done.'
2 sources
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- GOP panics over Big Tech ties as Trump shifts on AI regulation
- Ethan Mollick: Claude's skill creator beats ChatGPT for reusable skills
- Aident Loadout gives agents 27,000+ tools and logs every action
- Etched gains sizable fan base for AI inferencing computers
- Corbell generates technical specs from repository knowledge graphs