AI models solve Erdős problems, marking math milestone
OpenAI's unreleased model found a counterexample to Erdős's 1946 unit distance problem on May 20, 2026, the first historically significant proof from AI. On August 1, another unreleased model, Astra, made 10 more advances, solving three more Erdős problems.
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