Mathematician Shares How GPT-o1-mini Produced Novel Correct Proof
prof_g · x · 2026-08-02
The author recounts exploring a mathematical conjecture about lattice-valued networks with GPT-4o and Claude 3.5 Sonnet two years ago. While the models could independently propose conjectures unseen in literature, they couldn't prove them.
After a month of confident but incorrect attempts, the newly released GPT-o1-mini successfully provided a novel, elegant, and correct direct proof. The author sees this as a turning point, predicting AI-generated proofs will soon surpass human capabilities.
Related event: Mathematician Shows AI Models Now Solve Proofs Without Complex Prompts(2 posts)→
More from Research
- Netflix details its production LLM judge: hundreds of thousands of recommendations scored weekly — omarsar0 · 2026-08-24
- Nature Comment: Provenance, not interpretability, grounds trust in autonomous science — gabepgomes · 2026-08-24
- New Architecture RHEA: Train 1B Model on 8GB VRAM — zemondza · 2026-08-24
- Trained two 16M-param models to do generative CAD with real physics — debreuil · 2026-08-24
- Claude model helps discover complex structure on S^6, solving 60-year-old math problem — Singularitarian · 2026-08-24
- Study: Agents read instructions/notes 60.5% of the time, rarely touch API docs — dair_ai · 2026-08-24