How OpenAI Just Solved an 80-Year-Old Math Mystery Nobody Else Could
TL;DR
OpenAI has cracked the unit distance problem, a combinatorics conjecture posed by Paul Erdős that had remained open for over 80 years. It concerns the maximum number of unit distances between points in a plane. Using techniques from algebraic number theory combined with AI-assisted proof strategies, the team reached the breakthrough. For the math community, it signals that AI is now a serious player on hard open problems.
Nauti's Take
An impressive breakthrough: OpenAI cracked the unit distance problem, an Erdős conjecture that defeated mathematicians for over 80 years. That opens up the possibility of pointing AI at unsolved research questions much more systematically.
Caution is still warranted — the proof needs peer-review confirmation, and the open question is how much creative math actually came from the AI versus classical human groundwork.
Video
Sources
