Stone to Silicon

Math & science · May 2026

Erdős unit distance conjecture refuted

An AI model overturns an 80-year-old Erdős conjecture.

An OpenAI model constructed point sets with at least n^(1+ε) unit distances, refuting Erdős's 1946 conjecture that the count grows as n^(1+o(1)). A group of mathematicians including Noga Alon and Timothy Gowers verified and wrote up the result the same day.

See it in the living treeWikipediaSource

Arcs above join it to what it stood on, arcs below to what it led to. The bar places this stretch on the tree's whole timeline.

What it built on 2

Related measurements

The dashed line marks when it first worked.

Training compute of notable AI models Source: Epoch AI, Notable AI Models (CC BY 4.0)