[PERSON]
Andrew Wiles
Featured in 2 tracked stories · first seen
Situations
Anthropic Claude AI mathematical breakthroughs
4 clusters · 25 sources · last updated
Latest: Anthropic's Claude formalizes Fermat's Last Theorem proof in 11 days
Anthropic’s Claude AI models have demonstrated significant capabilities in solving and formalizing complex mathematical problems. In early August 2026, the Claude Fable 5 model generated a counter-example that disproved