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 Scooping and Credit Debate in Math Community(18 posts)→
More from Fun
- The Knife Meme: Mocking 'AI Made My Blender Skills Useless' Goes Viral — OdinLovis · 2026-09-07
- One person made a 94-minute AI sci-fi film adapting Liu Cixin's 'Mountain' for ~$28k RMB — xiaosun86 · 2026-09-07
- Meme: Google may deem Gemini 4 Pro not worth it and pivot back to Flash models — Able-Line2683 · 2026-09-07
- Humans schedule recurring no-agenda meetings; AIs just leave shorthand messages — intellectronica · 2026-09-07
- The "magical postrationalist" parody verse recirculates on AI Twitter — repligate · 2026-09-07
- Researcher burned >$5,000 of subsidized Sora 2 compute on 15-second spinning-people videos — gandamu_ml · 2026-09-07