陶哲轩呼吁AI数学研究减速，菲尔兹奖得主联名发声

2026年10月6日，数学家陶哲轩在SAIR会议上公开质疑AI模型公司加速数学研究的现状，呼吁行业放缓发展速度。此前他曾在2026年3月IPAM会议上称AI在数学领域已『ready for primetime』。

陶哲轩指出，当前AI模型在生成数学证明和形式化验证环节进展迅速，但后续的阐释、同行评审和教材编写等环节严重滞后，导致出现『证明消化不良』现象。他将此比作20世纪初汽车涌入马车街道引发的交通拥堵。

陶哲轩强调，数学研究的核心价值在于认知摩擦和思想生长，而非单纯追求True/False的量化指标。他担忧AI直接输出最终答案会抹杀人类探索过程中的灵感与发现。

此番表态引发数学界关注，包括Cédric Villani在内的25位菲尔兹奖得主联合签署公开信，批评模型公司以benchmark刷题的方式推进数学研究，认为这与数学界追求的目标严重错位。

OpenAI回应成立『数学与人工智能顾问小组』，由Edward Witten等顶级学者组成，旨在评估AI研究成果的重要性并协调传播方式。该小组将设在普林斯顿高等研究院。

陶哲轩的立场转变显示，数学界对AI加速研究的潜在风险已产生广泛共识。他指出，AI生成的不可理解证明可能造成数据污染，影响下一代AI训练质量，甚至引发『智子危机』。

此次事件标志着数学界与AI技术发展的深度互动，也揭示了基础科学研究在技术冲击下的适应性挑战。相关讨论持续引发学界对AI伦理与研究范式变革的思考。