OpenAI Releases 722 Math Papers From an Unreleased AI Model 7 October 2026·2272 words·11 mins OpenAI Artificial Intelligence Mathematics AI Research Lean Riemann Hypothesis Hodge Conjecture Unique Games Conjecture
Claude Formalizes Fermat’s Last Theorem in Lean in 11 Days 5 September 2026·2191 words·11 mins Claude Anthropic Fermat's Last Theorem Lean Formal Proof AI Mathematics Mathlib Proof Assistants AI Research
