2026年夏季，越来越多的迹象表明，一场变革即将到来。几乎每周，人工智能模型频繁地给出了数十年历史的数学猜想的证明。尽管9月8日的重大宣布并不完全意外，但仍然令许多人感到震惊。OpenAI宣布其模型成功解决了数学界的一个著名难题，随之而来的署名和评价标准的争论，也引发了人们对数学未来的讨论。
得克萨斯大学的斯科特·阿伦森在其博客中指出，作为定理证明主力的人类数学家，将再也无法回到以往的地位。这一消息引发了网络上不同的情绪，有乐观也有悲观，许多数学者感到困惑与恐惧。两天后，来自加利福尼亚大学伯克利分校的一场讲座上，数学家小野健提醒约150名听众，他们所追求的职业可能会面临消失或彻底改变的风险。这番话引起了强烈的不满和疑问，许多学生在讲座结束后仍旧围绕着小野，讨论未来的未知和不安。
这些情绪显然源于年轻数学家逐渐意识到，如果不进行转型，他们可能会面临领域的衰亡。而当我在纽约与朋友和家人谈论这个问题时，许多人对变化的潜在影响并不理解，相反，他们认为这些新发现是科学进步的体现。这揭示了一个困扰已久的问题：许多人并不了解数学的真实含义及其研究的价值。
在我的本科生涯中，数学与文学并重，我一直认为“纯数学”是科学与艺术之间的桥梁，既强调逻辑与确定性，又蕴含美感与直觉。数学的探索并不总是为了实用，而是希望通过解题的过程创造新的工具和联系，发现崭新的想法。正如麦吉尔大学的吴麒仁所言，数学的价值在于延续一种即便没有市场需求仍能为社会带来益处的传统。
与此相对，人工智能模型的证明过程却省略了关键细节，无法提供与已有文献相结合的背景知识，导致数学家失去了理解这些证明的机会。若有人类与机器之间确实存在一段旅程，但人类并未参与其中，仿佛被瞬间传送到高山顶峰，却对周围的环境一无所知。
数学发展几百年来，解题与理解始终相辅相成。若有人解决了一个重要的数学问题，那么这个解答往往被视为洞察力与创造力的体现。然而，人工智能作为提供答案的工具，仿佛威胁到了这一传统的价值与意义。当数学界适应这一变革时，理解将依然是人类不容忽视的重要一环。
发表评论