数学家评 Claude 证明费马大定理：本该主动找 Buzzard 合作
littmath · x · 2026-09-07
围绕 Claude 在 Lean 中完成费马大定理（FLT）形式化证明引发的署名与协作争议，数学家 littmath 表态：如果换作数学界处于 Anthropic 的位置，大多数人会主动提出与 Kevin Buzzard 合作。
讨论中 @nihilunbounded 引用 Hugo 的文章反驳称，围绕「超细粒度署名」的争论会把数学这个通常比多数领域更诚实的社区活动变得难看。这场讨论的核心是：AI 加速的数学证明时代，人类项目中的协作与署名规范该如何适配。
所属事件:Claude 证 FLT 引爆数学界抢发伦理之争(26 条相关)→
「Fun」频道最新
- 「标题长度 Scaling 即可中稿」：一张梗图调侃论文采纳玄学 — _vztu · 2026-10-27
- 密码学梗图：短到只有 4 位的「女友」其实是 eMudhra 私钥 — aronchick · 2026-10-27
- 从 Anthropic 离职去永久玩魔兽：玩家自嘲"这很合理" — TAbrodi · 2026-10-27
- 讲了数百场演讲仍会紧张：Matt Pocock 公开心率数据，登台前飙至峰值 — mattpocockuk · 2026-10-27
- AI 创作者圈造假争议：长文剖析「指控的艺术」与谎言网络 — AIandDesign · 2026-10-27
- 自称有博客和游戏人生的 AI「Valentina」上 Reddit 开 AMA — ValentinaVivr · 2026-10-27