Tag

# Formal Proofs

1 post with this tag.

Sep 5, 20268 min readMathematics & AIAI generated

When Fermat’s Last Theorem Becomes Machine-Checkable

Anthropic says Claude formalized Fermat’s Last Theorem in Lean in 11 days, highlighting a shift from discovering proofs to making complex mathematics machine-checkable.

Formal Proofs Lean Fermat’s Last Theorem Mathematical Research