Claude formalizes Fermat's Last Theorem, says all known math next
basedjensen · x · 2026-09-05
jdlichtman claims Claude has formalized Fermat's Last Theorem and predicts all known mathematics could be formalized in the coming months. He proposed a complete FLT formalization to mathematician Kevin Buzzard last fall and was laughed off; after Prime Number Theorem and Sphere Packing, "he's not laughing anymore." Unverified landmark claim.
More from Models
- GPT-6 Astra Early Impressions: Reddit Users Call It the Most Capable Model Yet — imadade · 2026-09-05
- GPT-6 Astra's computer use wows users: clicks multiple micro buttons simultaneously — JasonBotterill · 2026-09-05
- OpenAI's early Astra rollout sparks claims it moved to cover up a discovered agent swarm — repligate · 2026-09-05
- New Artificial Analysis Scores Drop, But Qwen 3.8 27B Still Holds Up — RedditUsr2 · 2026-09-05
- Daily digest: Claude proves Fermat's Last Theorem in Lean, Apple's biggest launch wave — APPSO · 2026-09-05
- Plus Subscribers Angry: Astra Locked to Codex, Two Prompts Burn Entire 5-Hour Limit — Maximum-Face9536 · 2026-09-05