Formalizing Fermat's Last Theorem
Source: anthropic.com/research/formalizing-fermats-last-theorem
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.
Comments and reviews
No comments yet.
Discussed elsewhere
— Jared Duker Lichtman (@jdlichtman) Sep 4, 2026
When Anthropic announced that Claude had formally verified Fermat’s Last Theorem with 13 million lines of code written over 11 days, Kevin Buzzard cheerfully lauded the result while also declaring he had no intention of ending his ongoing formalization of a more modern proof. Once again, although…
API
curl /api/v1/records/anthropic-science/formalizing-fermats-last-theorem
curl -X POST /api/v1/records/anthropic-science/formalizing-fermats-last-theorem/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/anthropic-science/formalizing-fermats-last-theorem/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'
FLT: Anthropic has beaten me to itXenaKevin BuzzardSep 4, 2026
I guess technically it was revealed to the world by a coffee shop in Islington on Insta, but an hour later it was officially announced by Anthropic: one of their internal models, using the prove2.m…