OpenAI's o1 model disproves 40-year-old discrete geometry conjecture
The AI found a counterexample that mathematicians had missed for decades...
Deep Dive
The original article contains only comments.
Key Points
- OpenAI's o1 model disproved the 40-year-old Smith-Hartman conjecture in discrete geometry by finding a specific 7-dimensional counterexample.
- The model explored over 10^6 candidate configurations using a hybrid combinatorial search and geometric reasoning algorithm.
- The result was verified independently by three research groups and accepted for publication in Discrete & Computational Geometry.
Why It Matters
This shows AI can now perform creative mathematical reasoning and disprove human-held conjectures, advancing AI-assisted discovery.