Core of the dispute: Buzzard's goal went beyond formalizing FLT in Lean
nihilunbounded · x · 2026-09-07
nihilunbounded argues Buzzard's grievance is that his goal was broader than formalizing FLT in Lean, and someone knocking out the obvious subgoal is like nuking a loadstar goal that makes the territory uninhabitable. alzzyd counters that claiming dibs on an obvious goal because of long prior work is unscientific.
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
- 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
- Drinking under the JD dog: Beijing's satellite-factory bar next to Moonshot's faux temple — teortaxesTex · 2026-10-27