AI时代的无我数学
随着大型语言模型开始生成新的数学结果和密集的形式化证明，一些理论家主张一种“无我”的数学观，即真理和理解比发现者是谁更重要。许多评论者对此提出反驳，认为这种理想与学术现实相冲突：职业、经费和声望仍然建立在个人署名、清晰表达和人类可理解性之上，而 AI 生成的“垃圾内容”有可能把数学家变成无偿编辑。技术争论背后，还潜藏着对资本主义、作者身份以及呼吁研究者谦逊是否只是在正当化智力劳动中人类能动性与回报的流失的更广泛担忧。
AI 与“无我数学”理念
- 一些评论把“无我”的数学与更早的哲学观念联系起来（柏拉图主义、热爱智慧、把智能看作存在于“外部”而非“我的”东西）。
- 有人觉得这很美：发现本就独立存在，无论如何都会被外星人或 AI 找到；创作作品也可能感觉像是被“发现”而不是被“创作”出来的。
- 也有人认为，人类的追求与人类的自我、需求和意义不可分割；对纯粹“无我”追求的主张，往往掩盖了另一种形式的自我。
学术界中的自我、职业与激励
- 许多人指出，学术数学的结构围绕着个人署名、声望和稀缺职位展开（发论文才有出路、招聘、晋升）。
- 有人担心，在系统仍然奖励自我和优先权的情况下，呼吁“无我”态度既不现实，甚至可能带有剥削性。
- 有人建议在合格候选人之间采用随机化（抽签），以减少偏见以及对声望边际差异的过度强调。
既然 AI 能做，为什么还要学数学？
- 一种讨论把 AI 比作计算器：我们仍然教授数学，是为了推理和逻辑，而不只是为了计算。
- 也有人说，研究中真正的刺激在于“第一个做到”；但对大多数人来说，这本来就不现实。
- 有些人认为，这个职业需要一个新的“中心”（例如解释、教学法、对复杂 AI 生成工作的解读），但并不是每个人都能从中受益。
对 AI 生成证明和工具的反应
- 有人把最近的 AI 证明看作无法发表的“数学垃圾堆”，把人类变成无偿编辑。
- 也有人表示，这类论文虽然直接读起来难以理解，但 AI 助手可以重新解释，让它们勉强变得可理解。
- 对于“看不懂但形式正确”的证明是否有价值，存在分歧：一方认为理解才是重点；另一方则认为，形式化代码加上反复简化就已经足够。
对 AI、资本主义与所有权的担忧
- 多条评论把“无我”修辞与更广泛的经济动态联系起来：担心工人被要求放弃自我和署名，而公司却追逐地位、知识产权控制和股价。
- 一些人担心这会使人类劳动贬值正常化（“无工资员工”、“科学矿场”），并让网站与创造力沦为 AI 训练的饲料。
关于博客与 AI 使用的元讨论
- 许多人误以为这篇文章是博客作者本人写的；另一些人则指出这是一篇客座文章，并提到“免责声明失明”。
- 明确承认写作中使用了 AI 帮助后，反应立刻两极分化：有人认为这只是无害的工具使用；也有人把它看作“AI 垃圾”或近乎宗教式的崇拜。