@kazani
Claude Completed the First Machine-Verified Formalized Proof of Fermat's Last Theorem
A project experts thought would take years, producing over 13 million lines of Lean code that also proves 29,000 supporting theorems across mathematics that had never before been formalized.
https://www.anthropic.com/research/formalizing-fermats-last-theorem
0 reply
0 recast
5 reactions