littmath 谈 FLT 争议：AI 证明了却没自然催生人类协作，本可做得更好

littmath · x · 2026-09-07

littmath 在讨论 Claude 形式化费马大定理引发的署名问题时表示，自己对 Anthropic 具体该怎么做没有强观点，只是评论数学社区内的规范。

他指出一个关键差异：在正常的人类项目中，大家会自然地开始合作；而这次 Claude 走了一条相当不同的路。一种可能的更好做法是先与 Kevin Buzzard 谈谈他项目的目标（例如以高质量、可复用的方式形式化大量中间结果和领域），并在达成最终结果的同时兼顾这些目标。