数学的黑暗之夜：AI与发现的精神危机

数学发现的侵蚀

能够产出长期未解数学猜想反例的大型语言模型（LLMs）的出现，在数学界引发了深刻的精神和职业危机。这场危机的核心不仅仅是失业的损失，而是“发现体验”的抹杀——这一过程历来被许多数学家视为通往不可言说和神圣之途径。

当证明一个定理变得如同点外卖一样“无趣”时，追求的内在奖励便消失了。这种转变使数学家从创造者和探索者变成了旁观者和评估者，根本改变了人类与数学真理的关系。

对许多从业者而言，数学不仅是严谨的学术练习，更是一种精神追求。原创发现的行为被视为通往神秘的桥梁，这一传统被拉马努жан、格罗滕迪克和康托尔等人物所共享。

学习已成立的理论往往是一种共情的重新发现。通过跟随证明，学生与最初发现真理的数学家进行了一种社会对话。这种“塔木德式”的数学特征创造了一条跨越千年的活跃传承链。如果AI能够瞬间生成大量证明，这种人际联系将被切断，因为不再有人类旅程可供追溯。

为了说明AI驱动发现带来的心理负担，危机被比作一个场景：一个“首席图书管理员”能够以一百万种不同的方式瞬间完成作者开始的任何故事，并挑选最佳的供出版。在这样的世界里，作者可能仍会写作，但当结果被一个优越的、无意识的机器抢先时，创造行为就失去了意义。

虽然有人认为数学家仍将需要评估、教授和展示AI生成的证明，但该领域的经济现状预示着一个更为不确定的未来。

资格陷阱：有人主张数学家的经济价值在于教学，而证明定理仅仅是用来建立获得教学信任所必需的资格的仪式。如果AI使定理证明变得平凡，“归属的仪式”和资格认证过程可能会崩溃。
转向方向：一种反观点认为，数学家将演变为研究的导演，利用AI处理证明查找的乏味方面，以更快的速度创建全新的数学子领域。
任期压力：一些人看到一个亮点：AI可能会减轻发表大量“低 hanging fruit”论文以维持任期的压力，使研究者能够专注于更深刻、更有意义的问题。

数学界对AI的进入反应呈两极分化，反映了对学科“价值”不同的看法。

一种观点认为，如果一个人会拒绝一个能够瞬间提供他们职业工作所有答案的“精灵”，那么他们是在实践一种工艺或艺术而非科学。从这个视角来看，乐趣在于发现的过程，而非结果。

其他人认为AI使数学民主化，消除了进入的壁垒（如精英研究图书馆和部门的访问），让更多人无论其内在“天才”如何，都能探索算法和结构。

有人认为精神危机是反应过度，主张LLMs缺乏欣赏它们所发现关系的能力。在这种观点中，人类作为评估者和欣赏者的角色仍然未被触及并保持至高无上。

一些人认为数学中的这场危机是所有知识工作更广泛趋势的前兆。从软件工程到战机驾驶，“有趣的部分”——实际的创造和执行行为——正被委托给AI，留给人类处理审查、测试和规定等边缘任务。这代表了一种系统性转变，人类的智力首要地位正在实时被重新定义，导致那些以工艺掌握为身份的人感到无意义。