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(12 posts)→
More from Models
- GPT-6 'Astra' model quietly appears in Codex, users brace for fast quota burn — vista8 · 2026-09-05
- Uncensored 27B model with Kali shell access raises security alarm — evilsocket · 2026-09-05
- Prediction: there will be no ARC 4 — sschoenholz · 2026-09-05
- OpenAI releases GPT-6 Astra, first model to hit its 'Critical' cyber threshold — HZoete · 2026-09-05
- Redditor Claims GPT 6 Has Massive Unreported Hallucination Improvements — SteveEricJordan · 2026-09-05
- Model 'astra' decodes triple-nested Base64 with no tools, blogger says a first — dejavucoder · 2026-09-05