[PERSON]
Tianyi Peng
Featured in 1 tracked story · 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