If Buzzard's goal was broader, he can keep working and get due credit, argues critic
alz_zyd_ · x · 2026-09-07
alzzyd asks: if Buzzard's goal was more than FLT in Lean he can continue and get appropriate credit; if it was exactly that, he lost and shouldn't get the credit. nihilunbounded maintains the broader goal is precisely the major contention.
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