Buzzard responds kindly to Claude's FLT proof, asking mainly for an errata list
jacobaustin132 · x · 2026-09-07
After Claude's formalization of Fermat's Last Theorem, @jacobaustin132 says the team has been talking with Kevin Buzzard on Lean Zulip all week. Buzzard's main ask: compile an errata list so something is learned from the proof, partly done already. He calls Buzzard "very kind, maybe more than we deserve," noting Buzzard cares about the result—Lean thriving. littmath confirmed they're in touch with Buzzard.
Related event: Claude's FLT Proof Ignites Math Community Scooping-Ethics Debate(26 posts)→
More from Fun
- StackChan robot performs a drama skit via Hermes agent and GPT-Luna-6 — alexcovo_eth · 2026-10-27
- StackChan robot performs an AI-generated skit, orchestrated by Hermes Agent via JSON script — alexcovo_eth · 2026-10-27
- User spots eerie moment: device starts running on its own with no user action — generativist · 2026-10-27
- 'We're not bad at forecasting—I'm bad at QA-ing my posts,' dlwh wraps up — dlwh · 2026-10-27
- Dev shows striking SD vs HD game texture upgrade alongside a level editor — maxleiter · 2026-10-27
- AI-generated movie-grade clip goes viral, blurring the line with real cinema — cneuralnetwork · 2026-10-27