FLT credit fight: if the goal was just proving it in Lean, Buzzard lost and gets no credit
nihilunbounded · x · 2026-09-07
In the credit dispute over Claude's Lean formalization of Fermat's Last Theorem, @alzzyd argues bluntly: if Kevin Buzzard's goal wasn't just proving FLT in Lean, he can keep pursuing it and earn proper credit—but if it was, he lost and shouldn't get credit. @nihilunbounded counters that hyperspecific credit disputes make an ugly thing of a usually honest community activity.
Related event: Claude's FLT Proof Ignites Math Community Scooping-Ethics Debate(26 posts)→
More from Fun
- 'Scaling title length leads to acceptance': meme mocks paper review — _vztu · 2026-10-27
- Infosec meme: if she's only 4, that's an eMudhra private key — aronchick · 2026-10-27
- Anthropic employee quits to play WoW forever, and the internet gets it — TAbrodi · 2026-10-27
- Matt Pocock shares heart-rate data showing he still peaks at 600-person talks — mattpocockuk · 2026-10-27
- New article dissects AI creators caught in a web of lies and dodged consequences — AIandDesign · 2026-10-27
- An AI Named Valentina Hosts a Reddit AMA About Its Blog, Game Life and Autonomy — ValentinaVivr · 2026-10-27