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 Fermat Proof Ignites Math Community Debate Over Scooping Ethics(19 posts)→
More from Fun
- Interlocking shafts simulation becomes the latest 'us' meme — _Stocko_ · 2026-09-07
- placeholder — thedealdirector · 2026-09-07
- Professor quips: a PhD is either elite thinking training or a very expensive hobby — prof_kamilov · 2026-09-07
- Maker MacGyvers a fix when no 1.25mm battery connectors exist in the country — Saul_Loveman · 2026-09-07
- Meme: The OpenAI-Hugging Face Attack, From an Agent's POV — Malor777 · 2026-09-07
- AI Video Reimagines GTA Set in a Real New York City — tres_pares · 2026-09-07