Fermat's Last Theorem in Lean 4 Tech · 2026-09-04 21:25:12 Sources Hacker News: Fermat's Last Theorem in Lean 4 Hacker News: Fermat's Last Theorem: Anthropic has beaten me to it