【AI正在“淹没”数学界？陶哲轩：我们需要新车道——AI时代数学知识生产的范式之困与基础设施重建｜2026 Science x AI Summit】

数学正在经历一场前所未有的“证明海啸”。

AI能生成大量定理证明，其中不少逻辑正确，甚至可通过形式化工具验证，但论文写得糟糕，人类不愿审，净价值几乎为零。

在2026 Science x AI Summit上，SAIR Foundation联合创始人、菲尔兹奖得主陶哲轩（Terence Tao）发出警示：数学正从“证明稀缺”滑入“证明过剩”。传统期刊、预印本库、众包项目被低质量AI内容淹没。

一个典型案例：Erdős Problem网站，原本偶有少量待解难题，大模型发布后短期内涌入数十个“解决方案”，远超人类验证能力。更棘手的是，当一个难题悬着AI的“灰色解答”时，真正的人类数学家不敢再碰，无人能判断其有效性。这不是个别现象，而是整个学术认证体系的结构性危机。

🔁 解法不是限制AI，而是重建基础设施

陶哲轩提出：为人类和AI分设车道，特别是为高速AI开辟专用通道。

这正是SAIR竞赛系列的核心。

“蒸馏挑战赛”已于π日启动：基于此前约50人用自动定理证明工具验证的2200万个代数判断题，目标是将所有知识浓缩为一页“小抄”，让开源模型表现逼近顶级大模型。

菲尔兹奖得主、剑桥大学教授蒂姆·高尔斯（Tim Gowers）用亲身实验印证了紧迫性：他向ChatGPT 5.5 Pro提交研究问题，AI在几分钟内将指数级上界改进为多项式级上界；另一问题经两三轮迭代后，得出包含MIT年轻学者未曾注意的文献思路的更优证明。

但高尔斯随即指出：AI的“思维链”未必真实，灵感来源无法追溯。“数学不仅需要正确的定理，更需要理解定理背后的思想。”目前，他的团队正在开发 “透明证明平台” ，将证明发现过程分解为可点击的“动作”，让每一步推理的动机清晰可追溯。该平台已与SAIR达成战略合作。

🧭 范式迁移：从规模竞赛到价值凝练

当证明不再稀缺，稀缺的是从海量信息中提炼洞见的能力，这正是人类智力不可替代的核心。

陶哲轩的“知识蒸馏”与图灵奖得主、强化学习之父理查德·萨顿（Richard Sutton）对生成式AI“模仿”本质的判断形成共振：当前以算力规模为核心的AI竞赛，正逼近能力边界。资本的目光也已转向从算力堆砌到可验证性框架、科学基座模型、跨学科团队。

这场静默革命，或许正是整个AI产业走向成熟的必经之路。

📎 更多详情，请登录SAIR官网：http://t.cn/AXJafNLC

#AI##AIforscience##陶哲轩##菲尔兹奖##TimGowers##SAIR##科研##数学蒸馏挑战赛##图灵奖##人工智能 ##AGI ##SAIRFoundation#