Why the Legendary Erdős Problems Are Falling to AI
OpenAI's unreleased internal model produced a counterexample to Erdős's 1946 'unit distance' conjecture on May 20, 2026 — the first historically significant proof from an AI. Its Astra model later made 10 more math advances, solving three additional Erdős problems. Princeton's Noga Alon said AI is 'changing dramatically the way mathematical research is being done.'
1 source
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- Brad Lightcap, OpenAI's longtime COO, is leaving to 'start something new'
- General Catalyst leads $1.1B round into 2-month-old River AI
- Grok Bot praised for local/cloud agent fleet integration
- BlackRock CEO Larry Fink calls for $500 billion in AI infrastructure funding
- PlusAI reports progress toward 2027 autonomous truck deployments