Claude's FLT proof followed Wiles' original path, not Buzzard's simplified version
jacobaustin132 · x · 2026-09-07
Following Claude's formalization of Fermat's Last Theorem, @jacobaustin132 says his team will keep pushing: Claude followed Wiles' original proof rather than Kevin Buzzard's simplified version, making it harder. Options include contributing to Lean's incubating Tau Ceti project or cleaning up their own proof. littmath suggested a better path would have been aligning with Buzzard's project goals of high-quality reusable formalization of intermediate results.
Related event: Claude's FLT Proof Ignites Math Community Scooping-Ethics Debate(26 posts)→
More from Fun
- Every Anthropic post scores 100% human on Pangram detector — alejandroll10 · 2026-10-27
- Prominent programmer asks: what am I supposed to do with all these Grok bots — lemire · 2026-10-27
- Joke: maybe call Anthropic the 'catastrophic risks to humankind' company — emax · 2026-10-27
- Slop Eisley: an AI-built open-world browser racing game set in Mos Eisley — jasonkneen · 2026-10-27
- 1 AI Doomer Debates 10 AI Supporters in Group Debate Show — romanyam · 2026-10-27
- Developer drops VS Code, Office and git client, now uses only Claude — One_Improvement_6470 · 2026-10-27