Anthropic announces it has formalised Fermat's Last Theorem
Wonderful_Buffalo_32 · reddit · 2026-09-05
A Reddit post flags an Anthropic announcement that the company has formalised Fermat's Last Theorem (FLT). If confirmed, it marks another milestone for AI in formal mathematical proof, continuing the rapid recent progress in AI-assisted theorem proving (secondhand report — see the official announcement for details).
Related event: Claude Produces First Formalized Proof of Fermat's Last Theorem in 11 Days(52 posts)→
More from Models
- Fable 5.5 delayed: 'Stoptober' meme says no one dares ship a SOTA model now — patience_cave · 2026-10-21
- Decision Models' routing classifier hits AntSeed, cutting inference cost to 24% of always-Opus — airesearch12 · 2026-10-21
- Developer flags anomalous Claude Projects usage: 98% weekly limit consumed at 1% thread share — 0xkarasy · 2026-10-20
- DeepSeek hands inference providers 90%+ margins, pressuring Moonshot and Zhipu hosting deals — teortaxesTex · 2026-10-20
- HelixWorld world model tested: 70GB VRAM per BF16 GPU run, consumer cards need not apply — cocktailpeanut · 2026-10-20
- Code-only Paris at golden hour: Claude's render embarrasses ChatGPT in same-prompt test — EXM7777 · 2026-10-20