An OpenAI model solved a famous math problem that stumped humans for 80 years

OpenAI said an internal model disproved the Erdős unit distance conjecture, a discrete geometry problem that had resisted a human solution for about 80 years.

Mathematicians who reviewed the early result praised it, and humans later refined and extended the proof.

The article presents the breakthrough as another sign of AI’s rapid progress in mathematics, not a sudden leap.

It also raises questions about how AI may increasingly assist—or eventually rival—human researchers in discovery.