Terence Tao

Stories

AI systems begin solving historic Erdős mathematical problems

Maintains a wiki tracking AI contributions to Erdős problems and has verified several AI-generated proofs

On May 20, 2026, OpenAI disclosed that an internal AI model had found a counterexample to the planar unit distance conjecture, a problem Erdős posed in 1946. Mathematicians who checked the result say it is a genuine advance, the first historically significant proof by an AI model.

Updated Oct 16

Notable Quotes

"The most productive near-term adoptions of AI in mathematics will primarily come not from applying the most powerful models to the most challenging problems... but from using medium-powered tools to accelerate and scale up more mundane and time-consuming, but still essential, research tasks." — Mathstodon, February 2026

from AI systems begin solving historic Erdős mathematical problems · Updated Oct 16

"One should not view this page as representing any sort of finely calibrated benchmark." — erdosproblems.com wiki, January 2026

from AI systems begin solving historic Erdős mathematical problems · Updated Oct 16