Anthropic 用 Lean 证明结果撞车数学家 Buzzard,遭批「毫无荣誉感」
teortaxesTex · x · 2026-09-07
数学家 Kevin Buzzard 的追随者抱怨,Anthropic 抢先用大规模 AI 生成的 Lean 形式化证明（被讥为 Leanslop）撞了他的项目,却对他人几乎没有益处。批评者称此举「毫无风度」,并激烈抨击 Anthropic 作为有效利他主义背景的公司「缺乏美德」,甚至称容忍其对人类事务有任何话语权是愚蠢的。属于 AI 圈典型的开源/学术礼仪争议。
所属事件:Claude 证 FLT 引爆数学界抢发伦理之争(26 条相关)→
「Fun」频道最新
- 把网页做成泥金装饰手抄本:程序化生成动画花饰边框 — round · 2026-10-27
- 推特疯传“求职邪道”：伪造 MRR 日更晒收入换 offer — _jaydeepkarale · 2026-10-27
- 马斯克造 Neo 云还放话竞争对手「归零」,网友直呼好笑 — tekbog · 2026-10-27
- Dreamina 生成「特斯拉车主开车飞走」名场面视频 — EvenWrangler-6577 · 2026-10-27
- 开发者用 Claude Opus 5.5 做出交互式像素风个人主页 — CatAstro_Piyush · 2026-10-27
- RTX 5090 卖到 7000 美元，PC 游戏社区集体否认 AI 热潮 — PAstynome · 2026-10-27