Research
101d agoOpenAI Model Solves 80-Year-Old Geometry Problem
An OpenAI model disproved a central conjecture in discrete geometry by solving the unit distance problem. This 80-year-old mathematical puzzle resisted human efforts for decades. The result demonstrates a shift toward AI-driven formal proof discovery.
The Signal
Mathematicians can now use these tools to verify complex conjectures and accelerate theoretical breakthroughs in pure mathematics.