{"id":"anthropic-science/formalizing-fermats-last-theorem","url":"https://www.anthropic.com/research/formalizing-fermats-last-theorem","tags":["formalization","fermats-last-theorem","number-theory"],"score":0,"title":"Formalizing Fermat's Last Theorem","source":"anthropic-science","authors":["Anthropic"],"reviews":0,"subject":"math.NT","summary":"Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":3,"published":"2026-09-04","reactions":{},"discussion":[{"url":"https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-has-beaten-me-to-it/","date":"2026-09-04","kind":"web","site":"Xena","text":"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…","added":"2026-11-04","title":"FLT: Anthropic has beaten me to it","author":"Kevin Buzzard"},{"url":"https://x.com/jdlichtman/status/2095959872563269840","date":"2026-09-04","kind":"x","added":"2026-11-04","author":"Jared Duker Lichtman","handle":"jdlichtman"},{"url":"https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/#:~:text=When%20Anthropic%20announced%20that%20Claude%20had%20formally%20verified%20Fermat","date":"2026-10-16","kind":"web","site":"Xena","text":"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…","added":"2026-11-04","title":"How to Formalize All of Mathematics","author":"Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne et al."}]}