AI models solve legendary Erdős problems

OpenAI's unreleased model Astra made 10 mathematical advances, including solving three Erdős problems, following a May 2026 counterexample to the unit distance problem. Mathematicians call it a phase transition in AI's mathematical capability.
1 source
Science by email
Get an email when there's news on Science
No news that day, no email.
More stories today
- Lyte closes $165M round at $1.6B valuation
- Meta settlement could clear way for new AI product launches
- Z.ai opens first Tmall store for AI subscriptions
- Fable 5.1 Max users share setup tips and warnings
- Opinion: Next DSM should assess algorithms' role in eating disorders