OpenAI's o3 model disproves 80-year-old unit distance conjecture
A pure math breakthrough: AI overturns a problem that stumped mathematicians since 1940s.
Deep Dive
An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.
Key Points
- OpenAI's o3 reasoning model discovered a counterexample to the Erdős unit distance conjecture, first posed in 1946.
- The model explored over 10^12 point configurations using reinforcement learning, finding a 0.3% violation of the expected growth rate.
- The result was independently verified by mathematicians at MIT and IAS, marking the first AI-led resolution of a major open math problem.
Why It Matters
AI can now prove and disprove core mathematical conjectures, potentially accelerating discoveries across all fields of science.