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.
Tag
# Mathematical Research
1 post with this tag.