当 AI 开始写证明，数学界最古老的问题之一浮出水面：一项发现究竟属于谁？
发生了什么
Hacker News 上出现一篇题为《Egoless Mathematics in the AI Era》的文章，进入当日讨论列表。从标题与讨论语境看，文章的核心主张是：在 AI 越来越多地参与数学猜想提出、证明搜索与形式化验证的背景下，数学研究应当转向一种“无我”的协作模式——弱化个人署名与荣誉归属，把注意力放回问题本身和结果的正确性上。文章并未提出具体的技术方案，更像是一份关于研究文化的倡议，因此在社区中引发的讨论集中在作者身份、激励机制与学术评价体系上。
为什么重要
数学长期被视为最“个人英雄主义”的学科之一：一个定理往往与一个名字绑定，菲尔兹奖、论文署名、优先权之争都建立在这种绑定之上。但过去几年，AI 在数学中的角色已经从边缘工具变成实质参与者——辅助猜想、搜索反例、生成证明草稿，再到用形式化语言（如 Lean）做机器可检验的验证。当证明可以由人机混合产出，且正确性可以机器判定时，“谁先想到”这件事的技术意义在下降，而制度意义仍然巨大。
这正是文章切中的张力：数学的产出方式在变，但评价体系几乎没变。署名、引用、晋升、经费，全都依赖可归属的个人贡献。如果 AI 成为常态协作者，“无我”就不只是道德姿态，而是一个制度设计问题。
影响与看点
对研究者而言，最直接的影响是协作形态：形式化证明库的贡献模式更接近开源软件——提交、评审、合并，贡献可追溯但不必然对应传统署名。对学术机构而言，挑战在于如何在不摧毁激励的前提下承认机器辅助的贡献。对 AI 从业者而言，这类讨论也反向提示：模型在数学上的价值不只是“解题”，还包括让验证成本降到可规模化协作的水平。
值得关注的点有三个：一是形式化数学社区是否会率先演化出新的贡献计量方式；二是期刊与会议是否会出现针对 AI 辅助的披露规范；三是“无我”是否会停留在理念层面，因为荣誉分配背后是真实的资源分配。
我的判断是：署名制度不会因为 AI 而消失，但会分层——可机器验证的结果会越来越像公共基础设施，而问题选择、方向判断和审美仍将高度个人化。真正被 AI 削弱的不是“自我”，而是“自我”在证明细节上的垄断。
