AnalysisScienceAugust 5, 2026

AI models solve Erdős problems, marking math milestone

Read original source →quantamagazine.org

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

More stories today

Open the live feed