Claude Formalized Fermat’s Last Theorem. A Small Fable 5.1 Test Claude formalized Fermat’s Last Theorem in Lean. Understand what was checked, why the research model matters, and how to evaluate a small proof yourself. Developer Tools September 7, 2026 leanformal-verificationfermats-last-theorem
