Anthropic 用 Lean 证明结果撞车数学家 Buzzard,遭批「毫无荣誉感」
teortaxesTex · x · 2026-09-07
数学家 Kevin Buzzard 的追随者抱怨,Anthropic 抢先用大规模 AI 生成的 Lean 形式化证明（被讥为 Leanslop）撞了他的项目,却对他人几乎没有益处。批评者称此举「毫无风度」,并激烈抨击 Anthropic 作为有效利他主义背景的公司「缺乏美德」,甚至称容忍其对人类事务有任何话语权是愚蠢的。属于 AI 圈典型的开源/学术礼仪争议。
所属事件:Claude 证费马大定理引发数学界抢发伦理大讨论(19 条相关)→
「Fun」频道最新
- 零 Blender 基础实测：一句话让 Codex 还原游戏 Demo — FuSheng_0306 · 2026-09-07
- 18 岁开发者用 MCP 接通 Blender 与 Godot，半天生成末世游戏场景 — majidmanzarpour · 2026-09-07
- AI 圈梗：如果 24 岁的马斯克 1995 年就有 ChatGPT Pro — theteknosaur · 2026-09-07
- 4 分钟 AI 动作片 TAIKEN 上线:MiniMax H3 加 ChatGPT 打造 — bennash · 2026-09-07
- 连婚礼网站都懒得 vibe code,你真会 vibe code 自己的 CRM? — shensi · 2026-09-07
- Cybercab 与 Waymo 同框互怼,自动驾驶网红梗视频 — bennash · 2026-09-07