陶哲轩临时改稿：AI一夜甩出722篇论文，数学家的护城河不在解题

近日，菲尔兹奖得主、加州大学洛杉矶分校数学家陶哲轩在SAIR演讲中，把原定题目《机器辅助证明》临时改成了《数学2.0》。触发点很具体：OpenAI一夜甩出722篇数学论文，扫射准黎曼猜想、霍奇猜想、BSD猜想，还把菲尔兹奖得主王虹今年解决的三维挂谷集维数猜想推进到四维。数学界那套以"证明稀缺"为地基的评价体系，正被AI的产能直接碾过。

希鸥网观察到，这条赛道的核心矛盾相当具体：AI把"拿到解答"的门槛打到极低，却没有同步交付"理解"。陶哲轩隶属加州大学洛杉矶分校，长期推动Lean形式化验证与AI辅助证明研究，他提出的问题是——为数学共同体解决评价体系失灵，即解出了题，人的理解却没有相应增加，贡献该由谁判定、怎么与既有研究衔接。

数学为什么成了大模型的靶场？陶哲轩归纳出三个相互叠加的条件：证明可以被客观检验、数学对象与推理过程高度可数字化、大量高质量文献早已以数字形式存在。加上前沿实验室的算力投入，数学成了模型能力的现成靶纸——题库免费、判分器免费，失败案例却没人上报。

从激励机制看，数学1.0的定价逻辑是"谁先解开"。一个开放问题像一座灯塔，抵达灯塔的人拿走几乎全部声誉。这套机制奖励稀缺，也依赖稀缺。当算力批量生产证明，稀缺消失，定价锚点随之失效，青年研究者靠"首个证明"积累学术资本的路径被直接截断。

更隐蔽的损耗发生在用户心理层面。陶哲轩亮出经典的飞机弹孔图，提醒幸存者偏差：前沿大多数问题仍未解决，AI能力分布并不均匀，厂商只挑成功案例发布。他主张把失败结果与算力成本一并纳入报告，否则成功率、资源消耗、人类参与程度这三个关键变量永远算不清楚，评价体系只会朝"自动化产出"单向跑偏。

希鸥网认为，这场博弈的获益方很清晰：前沿AI实验室拿到了能力验证场与叙事素材，Lean形式化验证生态拿到了流量与迭代场景。受损的是数学共同体的声誉分配机制，以及那些需要漫长时间才能长出的路径性理解——陶哲轩的癌症疗法思想实验直指要害：模型给出一组通过三期临床的未知混合物，没人懂作用机制，针扎进血管前你敢用吗？

抄近路的诱惑对创业者同样致命。桥水创始人瑞·达利欧复盘自己崩盘时写得很直白：离谱的过度自信，并放纵自己被情绪左右。AI把解题成本压到接近于零，创业团队最容易犯的错，就是把模型输出当成自己的理解，跳过验证直接上线。陶哲轩那句"解出了题，却没有增加人的理解"，是发给所有AI产品团队的技术债预警。

分水岭在于是否愿意为"慢"付钱。达利欧把人生比作穿越危险丛林：留在原地安全但平庸，穿越丛林精彩却可能被杀死。数学界的选择题一模一样——接受AI批量证明的便利，还是守住理解的高地。他说自己的一败涂地是最好的事情之一，因为失败带来谦逊，而谦逊正好平衡天生的进攻性。AI给出的漂亮结果，是谦逊的来源，不是进攻的资本。

组织层面同样如此。达利欧推崇"创意择优"：鼓励经过深思熟虑的意见不一致，把对立观点摆到台面上再分析。落到AI辅助研发的场景，一家公司必须保留至少一条人类复核链——懂数学的看推理，懂业务的看机制。他还发现人的最大缺点与最大优点互为正反面，过度冒险者规避风险不足，极致宏观者忽视细节，真正的分水岭是失败之后改不改做法。

金鸥品牌榜·2026年度创新案例库开放申报了。免费提报，独立评估，入榜品牌将获得电子版《入榜证明》及年度专题公示，优秀案例可获得深度专访+全平台分发。如需修改或发布文章，请加微信号：sheisceo