AI Mathematics
Claude Formalizes Fermat’s Last Theorem in Lean in 11 Days
·2192 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
·798 words·4 mins
AlphaEvolve
Terence Tao
Google DeepMind
AI Mathematics
Evolutionary Computing