littmath 谈 FLT 争议：AI 证明了却没自然催生人类协作，本可做得更好
littmath · x · 2026-09-07
littmath 在讨论 Claude 形式化费马大定理引发的署名问题时表示，自己对 Anthropic 具体该怎么做没有强观点，只是评论数学社区内的规范。
他指出一个关键差异：在正常的人类项目中，大家会自然地开始合作；而这次 Claude 走了一条相当不同的路。一种可能的更好做法是先与 Kevin Buzzard 谈谈他项目的目标（例如以高质量、可复用的方式形式化大量中间结果和领域），并在达成最终结果的同时兼顾这些目标。
所属事件: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