AI会加剧基础数学研究的学术孤岛化吗？

日出之前

华裔数学家陶哲轩针对AI提出了“数学2.0”的观点。

今年的菲尔茨奖得主王虹是因为证明三维挂谷猜想而得奖。但是AI发展过于猛烈，OpenAI公布了一份报告，称其一款尚未发布的前沿模型

解决了数百个数学难题，其中之一是四维挂谷猜想。

陶哲轩对此评论说，在传统数学的1.0时代，知名难题的证明通常会引发一系列后续的活动，证明作者会受邀参加演讲，与该领域的专家展

开讨论，相关研讨会会组织起来去探讨该证明及最新进展。通过这些活动，证明过程被消化和精简，被置于该领域其他成果的背景下，最终

成为下一代数学家的教科书和讲义内容。

但AI模型的证明则是由对数学兴趣不大的人通过提示词自主解决的，他们只关心解决本身，对输出结果缺乏深入理解，甚至不理解AI给出的

解决算法。这些利用Ai解决数学问题的人本身无法出席研讨会，与同领域专家展开讨论。

AI公司的作为可能会迫使数学领域的开创性研究秘而不宣，以避免自己的研究成果被AI公司抢先发表。

数学1.0时代极度推崇抢先解决未决难题，在数学2.0时代应该降低或弱化解决难题的核心作用，应该从更全面的视角去衡量数学进步，比如

应提升学术阐释、社区建设以及开辟研究新方向的价值。数学研究的社会属性和价值定义正在受到前所未有的挑战。



面对AI带来的冲击，陶哲轩指出不应该再盲目迷信谁解开了某道未决难题这一单一指标。在数学2.0时代，衡量数学进步的标尺应当拓宽。

1、数学1.0时代（传统人本模式）

过程：由人类数学家攻克知名难题---引发同行热烈讨论与学术研讨会---经由社群反复消化、精简，最终内化为教科书和讲义，造福下一代。

核心特征：解题不仅是一个结果，更是一个激发社群互动、深化概念理解、构建知识网络的社交与认知过程。

2、数学2.0时代（AI辅助模式）

过程：人类借助AI模型通过提示词自主或半自主地给出解题答案。

核心痛点：操作者或AI本身对结果往往缺乏深层理解，无法出席学术研讨会，也无法与同行进行思想碰撞；同时，这也导致数学家们为了防

止成果被AI公司抢先发表，被迫将研究成果秘而不宣，可能加剧基础数学研究的学术孤岛化。

当AI能够像自动化工厂一样高效率地吐出数学难题的解答时，数学研究的意义似乎正在从答案回归到求解的意义与知识的社群化、人本化。