#formal proof
1 articles tagged formal proof. At twelve articles this topic starts lifting the whole site in search.
Timeline
All articles
-
Tech · 2 min readClaude formalizes Fermat's Last Theorem (September 5) — 13 million lines in 11 days
Result — the first end-to-end, machine-checkable formalization of Fermat's Last Theorem in Lean, in 11 largely autonomous days