数学家评 Claude 证明费马大定理：本该主动找 Buzzard 合作
littmath · x · 2026-09-07
围绕 Claude 在 Lean 中完成费马大定理（FLT）形式化证明引发的署名与协作争议，数学家 littmath 表态：如果换作数学界处于 Anthropic 的位置，大多数人会主动提出与 Kevin Buzzard 合作。
讨论中 @nihilunbounded 引用 Hugo 的文章反驳称，围绕「超细粒度署名」的争论会把数学这个通常比多数领域更诚实的社区活动变得难看。这场讨论的核心是：AI 加速的数学证明时代，人类项目中的协作与署名规范该如何适配。
所属事件:Claude 证明费马大定理后续：署名争议与社区反应发酵(18 条相关)→
「Fun」频道最新
- David Sacks 称有组织资金收买网红散布 AI 悲观论 — beffjezos · 2026-09-07
- OpenAI发布GPT-6 Astra不到4天,KOL晒解剖引擎森林等10例demo — minchoi · 2026-09-07
- 用户在目录里发现 Claude 主动写的「交接文档」，直言被吓到 — repligate · 2026-09-07
- 数据中心次声波视频遭逐条打假，Benn Jordan 回应被指回避 — AndyMasley · 2026-09-07
- 学者吐槽：越来越多教师网站一看就是 Claude/Codex 生成 — xuanalogue · 2026-09-07
- 「镜子里看到十年后的自己」AI 视频引 Reddit 热议 — Weak-Abalone-9647 · 2026-09-07