How AI models are cracking Erdős's legendary math problems

On May 20, 2026, an unreleased OpenAI model produced a counterexample to Paul Erdős's 1946 unit-distance conjecture — the first historically significant proof from an AI model — and OpenAI's Astra model added 10 more advances, including three more Erdős problems solved. Princeton's Noga Alon says AI is 'changing dramatically the way mathematical research is being done.'