Why the Legendary Erdős Problems Are Falling to AI

OpenAI's advanced AI models have successfully identified counterexamples and solutions to long-standing mathematical conjectures posed by Paul Erdős. Mathematicians view this as a significant phase transition in how AI can contribute to high-level mathematical research.
Why it matters
AI's ability to solve complex, abstract mathematical problems suggests a shift in the potential for machine-led scientific discovery.
Home Why the Legendary Erdős Problems Are Falling to AI Comment Save Article Read Later Share Facebook Copied! Copy link Email Pocket Reddit Ycombinator Comment Comments Save Article Read Later Read Later artificial intelligence Why the Legendary Erdős Problems Are Falling to AI By Konstantin Kakaes August 3, 2026
Save Article Read Later DVDP for Quanta Magazine
artificial intelligence combinatorics Erdős conjecture features foundations of mathematics mathematics proofs All topics O n May 20, 2026, OpenAI made an announcement that shook the mathematical world. An internal AI model — one not available to the public — had come up with a counterexample to the “unit distance” problem , a conjecture made in 1946 by Paul Erdős, the prolific, itinerant Hungarian mathematician.
Get smarter about the news
Sign up free for a feed built around what you actually care about, Dive Deeper research on any story, and the full text of every article.
Create free accountAlready have an account? Sign in