The first AI proof worthy of math's top journal landed, and it won't be the last

OpenAI says an internal reasoning model found a counterexample to Paul Erdős’s 1946 unit-distance conjecture.

Nine mathematicians then reviewed, shortened, and commented on the proof.

The argument beats the classic grid construction and relies on algebraic number theory and class field theory, not standard geometry.

The result suggests AI systems may help tackle long-standing open problems and reveal new proof techniques.