Why the Legendary Erdős Problems Are Falling to AI

On Aug 1, 2026, OpenAI announced that its unreleased model Astra made 10 math advances, including solutions to three Erdős problems. In May, another internal model found a counterexample to Erdős’s 1946 unit-distance conjecture—the first historically significant proof from an AI. Human mathematicians soon improved the result, but the AI’s approach pulled in ideas from a distant branch of math no one had successfully applied before; related techniques solved other problems within days. The article argues Erdős problems are falling to AI partly because they are simply stated and often ask for concrete numbers or constructions, and mathematicians are now studying what this means for the rest of the field.

Why it matters: OpenAI's internal model solved a classic Erdős problem using methods from unrelated math fields — a landmark for AI reasoning. Quanta is authoritative, details are rich, and cross-source interest is high. Not a 95+ because Astra is unreleased and some claims can't be independe...