FLT 署名之争：若只求 Lean 证 FLT 则 Buzzard「输了」就不该得署名
nihilunbounded · x · 2026-09-07
围绕 Claude 形式化费马大定理的署名争论中，@alzzyd 提出尖锐观点：如果 Kevin Buzzard 的目标不只是「用 Lean 证出 FLT」，那他可以继续做原本想做的事并获得相应署名；但如果目标就是证 FLT，那他输了，就不应获得署名。
@nihilunbounded 回应引用 Hugo 的文章，认为这类围绕超细粒度署名的计较，会把数学这个通常比多数领域更诚实的社区活动搞得难看。
所属事件:Claude 证 FLT 引爆数学界抢发伦理之争(26 条相关)→
「Fun」频道最新
- 网友晒诡异一幕：设备无人操作竟自行启动 — generativist · 2026-10-27
- 作者自嘲:不是不会做预测,是我发帖前没做好 QA — dlwh · 2026-10-27
- 开发者展示游戏纹理 SD 对比 HD 升级效果，附关卡编辑器 — maxleiter · 2026-10-27
- AI 生成的《致命魔术》片段疯传，网友惊呼电影级效果难辨真假 — cneuralnetwork · 2026-10-27
- 中关村卫星工厂废壳酒吧:京东大楼上的狗与 Moonshot 头顶仿古庙 — teortaxesTex · 2026-10-27
- Arena Ladder 2566 分冠军机器人被拉下马，作者连夜迭代复仇版 — tristanbob · 2026-10-27