littmath: Claude's FLT proof bypassed the natural collaboration a human project would have had
littmath · x · 2026-09-07
Commenting on the attribution debate around Claude's FLT formalization, littmath says he has no strong view on what Anthropic should have done, but highlights a key difference: in a normal human project collaborators would have naturally teamed up, whereas Claude took a very different path. A better approach might have been talking to Kevin Buzzard about his project's goals—high-quality reusable formalization of intermediate results—and serving those alongside the final result.
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