Mathematicians weigh in on Claude's FLT proof: most would have collaborated with Buzzard
littmath · x · 2026-09-07
Amid the controversy over Claude's Lean formalization of Fermat's Last Theorem, mathematician littmath says most mathematicians in Anthropic's position would have offered to collaborate with Kevin Buzzard. @nihilunbounded counters, citing Hugo's article, that hyperspecific credit disputes make an ugly thing out of a usually honest community activity. The thread probes how attribution norms should adapt when AI accelerates mathematical proofs.
Related event: Claude's FLT Proof Ignites Math Community Scooping-Ethics Debate(26 posts)→
More from Fun
- MagicalTux mocks Tailscale SSH: using your zero-trust VPN as SSH authentication? — basedjensen · 2026-10-26
- Anthropic mocked for warning of existential AI risk while pouring $750B into accelerating it — R4nsack · 2026-10-26
- Slopcore: AI-generated meme films turn low-fi slop aesthetics into a subculture — Yamapama · 2026-10-26
- When AI hits an existential crisis: model confuses itself and everyone else — Ok-Delivery-7437 · 2026-10-26
- Dev builds city-sized zombie apocalypse sim in 100 days, ships on Steam — gdechichi · 2026-10-26
- 'Lamp Swarm': a desk of lamp-shaped robots shows what physical AI work looks like — dee_hw · 2026-10-26