#FormalMath
1 stories · 1 issues · daily FormalMath news timeline
#FormalMath timeline · newest first
2026-09-05-Sat
Anthropic says Claude wrote the first complete machine-checked proof of Fermat's Last Theorem in 11 days: 13 million lines of Lean
▪ A formalization nobody finished in thirty years took a machine 11 days — mathematical proof has a new floor for acceptance.