Developer Tools
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.
ReadTag: #fermats-last-theorem