陶哲轩First Proof二期结果：AI写出7道达顶刊标准的数学证明

时间：2026年6月17日（评测结果公布） 地点：UCLA（加州大学洛杉矶分校，陶哲轩团队） 人物：菲尔兹奖得主陶哲轩（Terence Tao）、苏黎世联邦理工学院（ETH Zurich）、普林斯顿大学、OpenAI、多位菲尔兹奖得主评审 概述：陶哲轩主导的First Proof项目第二批评测结果正式公布。在10道从未公开解法的前沿数学题评测中，AI系统共交出7道达到学术发表标准的解答。其中2道被菲尔兹奖得主蒂莫西·高尔斯（Timothy Gowers）评价为"若人类提交给《数学年刊》（Annals of Mathematics），直接推荐接收"。 双盲同行评议机制：30位副教授以上职称的数学专家全程双盲评审，评审系统混入带有明显提示工程痕迹的对照样本，评审员识别准确率不达80%的结果直接作废。这是目前全球数学领域最严格的AI能力验证机制。 最大技术突破：在随机偏微分方程（P5题）领域，苏黎世联邦理工学院的多模型协同AI系统自主构造了一类此前从未被数学家尝试过的非对称测试函数，推导出的结论比已有人类解法更强——人类只能证明"临界正则性条件下局部解存在"，AI证明了"次临界正则性条件下强解全局存在"。 成本数据对比：OpenAI原生ChatGPT 5.5 Pro总花费117美元（最低单题8美元）、普林斯顿Momus系统1014美元、苏黎世联邦理工ImpProofBench系统3186美元、UCLA陶哲轩团队系统4799美元。顶级成果与成本正相关。 项目背景：First Proof项目是陶哲轩发起的系统性评测AI数学研究能力的项目。2026年初首期评测（20道已证闭卷题，10道达发表标准）已引发轰动。二期评测升级为"开放题+双盲同行评议"模式，测试AI在探索完全未知前沿问题方面的真实研究能力。此前已经有45年数论猜想被GPT-5.2 Pro证明、80年埃尔德什平面距离猜想被OpenAI内部模型推翻等里程碑事件。 行业影响： - AI数学证明能力获专业认证：双盲同行评审机制证明AI生成的证明在逻辑严谨性和创新性上已达到学术发表标准，标志着AI从"解题工具"跨越到"研究合作者"阶段 - 菲尔兹奖得主高尔斯"直接推荐发表"的肯定降低了学术界对AI数学成果的接受门槛，预计更多顶级期刊将开始接收AI辅助或AI独立生成的数学证明 - 成本分化揭示行业现实：最低8美元即可完成一道顶级AI数学证明，但高质量成果仍需大量算力投入，低成本+高标准将成为推动AI数学研究大规模普及的关键 - 全球Top100数学高校中67%的研究者已将AI作为日常核心辅助工具，数学研究正从"证明稀缺"迈向"证明丰裕"时代 总结：First Proof二期评测以史上最严格的双盲评审机制验证了AI在原创数学研究中的真实能力——7/10的解题率、菲尔兹奖得主"直接推荐发表"的顶级评价、以及AI自主发现人类从未尝试的数学新路径，都表明AI正在从数学的"辅助工具"质变为"研究合作伙伴"。随着单题成本降至8美元，数学研究的范式正经历从"人海战术"到"人机协作"的历史性转变。陶哲轩12年前的预言——"未来数学将用计算机能理解的语言写论文"——正在被亲手兑现。 参考来源： https://news.mydrivers.com/1/1131/1131016.htm https://baijiahao.baidu.com/s?id=1868516665715933096 https://news.cctv.com/2026/06/16/ARTIvatIcLcrpkImFKFFg9J4260616.shtml https://www.sohu.com/a/1039233525_121956424 http://k.sina.com.cn/article_7880068204_1d5b04c6c068019mly.html https://xueqiu.com/9709796433/395189025