{"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":0,"published":"2026-09-04","reactions":{}}