LINKED LIST [txt mode] ▸ Formalizing Fermat's Last Theorem
home explore | log in

Formalizing Fermat's Last Theorem

anthropic.com · first added by @harryh · 2026-09-16 · 2 upvotes

log in to save, upvote or flag this.


─── In 0 lists ─────────────────────────────────────────

(not in any lists yet)

* FLT: Anthropic has beaten me to it (from the discussion)

─── Discussions ────────────────────────────────────────

* Formalizing Fermat's Last Theorem
625 pts · 390 comments · node