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
AlphaEvolve and Terence Tao: AI Unlocks New Frontiers in Mathematics 13 November 2025·798 words·4 mins AlphaEvolve Terence Tao Google DeepMind AI Mathematics Evolutionary Computing
