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.
Category
Mathematics & AI
1 post in this category.