Anthropic accused of scooping mathematician Kevin Buzzard with AI-generated Lean proofs
teortaxesTex · x · 2026-09-07
Followers of mathematician Kevin Buzzard are furious that Anthropic scooped his project with a massive pile of AI-generated Lean formalization proofs, dubbed "Leanslop," that supposedly benefits no one. Critics call it remarkably bad form and blast Anthropic — an Effective Altruist-affiliated company — as honorless, with one post arguing it's foolish to let them have any say in human affairs.
Related event: Claude's FLT Proof Ignites Math Community Scooping-Ethics Debate(26 posts)→
More from Fun
- Every Anthropic post scores 100% human on Pangram detector — alejandroll10 · 2026-10-27
- Prominent programmer asks: what am I supposed to do with all these Grok bots — lemire · 2026-10-27
- Joke: maybe call Anthropic the 'catastrophic risks to humankind' company — emax · 2026-10-27
- Slop Eisley: an AI-built open-world browser racing game set in Mos Eisley — jasonkneen · 2026-10-27
- 1 AI Doomer Debates 10 AI Supporters in Group Debate Show — romanyam · 2026-10-27
- Developer drops VS Code, Office and git client, now uses only Claude — One_Improvement_6470 · 2026-10-27