OpenAI 在 2026 年 10 月发布了 700 多篇研究论文,这标志着数学史上的一个分水岭,证明了人工智能现在能够在该领域的许多领域做出突破性的贡献。这一发展引发了数学界关于学科“空心化”的辩论。一些数学家对人工智能忽视传统社区对署名的期望表示担忧,并担心人工智能可能会以一种让人感觉像是对职业手工艺的攻击的淡漠程度来解决重大开放问题。然而,转变的核心在于构成实质性数学贡献的经济学正在发生变化。
为了理解这一转变,可以看看有限单群分类的历史先例。当该分类在 1983 年公布时,它是一个巨大的成功,同时也“冷却”了对那个特定问题的兴趣,导致数学家将注意力转向其他地方。当前的 AI 转变与之类似:虽然 AI 可能会解决现有问题,但它并没有像周期表“解决”化学那样“解决”数学。相反,它降低了探索以前“不可触及”问题的门槛——这些复杂的方向曾因制定它们所需的庞大技术背景而无法触及。数学家的角色正在从攀登单一高峰的“英雄式”探险家,转变为驾驶机群的飞行员,其主要技能包括选择哪些地形值得探索,并将这些发现解释给世界。
适应这一新现实需要对该职业的操作方式进行结构性变革。由于人工智能现在可以在压缩的时间尺度内产出新颖的证明,社区可能需要重新思考招聘方式,转向更多的个人互动,而不仅仅是评估论文文件。此外,还有呼吁将研究生教育转向更强调广度和结构性理解,而非狭隘的技术专长。在这种新秩序中,实质性的贡献可能被定义为选择一个有价值的问题、利用 AI 获取证明,然后利用该结果来开发新的、有趣的方向。目标是超越被第一个无法证明的自然猜想所束缚的“紧身衣”,利用 AI 作为工具去追求更大胆、更雄心勃勃的研究计划。
