Research
100d agoOpenAI Model Solves 80-Year-Old Geometry Problem
A model from OpenAI disproved a central conjecture in discrete geometry known as the unit distance problem. This 80-year-old mathematical puzzle resisted human solutions for decades. The result demonstrates a leap in formal reasoning capabilities.
The Signal
Mathematicians can now use these tools to automate the verification of complex geometric proofs at scale.