FLT 署名之争：若只求 Lean 证 FLT 则 Buzzard「输了」就不该得署名
nihilunbounded · x · 2026-09-07
围绕 Claude 形式化费马大定理的署名争论中，@alzzyd 提出尖锐观点：如果 Kevin Buzzard 的目标不只是「用 Lean 证出 FLT」，那他可以继续做原本想做的事并获得相应署名；但如果目标就是证 FLT，那他输了，就不应获得署名。
@nihilunbounded 回应引用 Hugo 的文章，认为这类围绕超细粒度署名的计较，会把数学这个通常比多数领域更诚实的社区活动搞得难看。
所属事件: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