OpenAI announces its reasoning model has disproven a famous 80-year-old geometry conjecture by Paul Erdős, marking a significant achievement after prior claims sparked skepticism.
The mathematical question was first posed in 1946
May 21, 2026
12:38 pm
What's the storyOpenAI claims that its new general-purpose reasoning model has successfully disproved a famous unsolved conjecture in geometry, the planar unit distance problem.
The mathematical question was first posed by legendary mathematician Paul Erdos in 1946. It asks how many pairs of points on a flat surface can be exactly one unit apart from each other.
OpenAI claims it solved an 80-year-old math problem — for real this time | TechCrunch
OpenAI model disproves major Erdős conjecture using general-purpose reasoning system
OpenAI model solves 80-year-old planar unit distance problem posed by legendary mathematician Erdős
OpenAI claims its AI model solves 80-year-old math conjecture
OpenAI model solves 80-year-old planar unit distance problem
OpenAI model autonomously solves planar unit distance problem
OpenAI Model Disproves Central Conjecture in Discrete Geometry
Mathematicians stunned by AI's biggest breakthrough in mathematics yet
‘Sensational’ proof topples decades-old geometry problem
General-purpose AI model reportedly solves major open problem in mathematics
