AI 交出数学证明,数学家开始阅卷10月26日：OpenAI 公布三项研究结果：模型推翻了计算机科学界用了近30年的指数时间假设（ETH），证明了所有维度的局部平滑化猜想，还为量子色动力学和纯杨-米尔斯理论给出了严格的数学存在性证明。局部平滑化猜想由 Sogge 在1991年提出，讲的是波在传播时的聚焦上限。2019年 Larry Guth、王虹、张瑞勋只做到二维。这次 OpenAI 的模型引入一个新的辅助偏微分方程，把所有维度都覆盖了，卡凯亚猜想（挂谷猜想）和 Stein 限制性猜想也顺着推导链成立。2025年王虹和 Joshua Zahl 刚证明三维挂谷猜想，一年多后，那项成果成了高维结论里的特例。时间线很密：10月18日生成自然语言证明，次日完成 Lean 形式化；ETH 的反证10月16日生成，次日形式化。但 Lean 只校验推理步骤的语法，管不了数学内容有没有漏洞，也替代不了同行评审。「一夜通关」目前是 OpenAI 的宣告，裁判在后面：ETH 的两位提出者 Impagliazzo、Paturi 与 MIT 的 Ryan Williams 牵头审查反证，2004年诺贝尔物理学奖得主 David Gross 带五位物理学家处理杨-米尔斯部分。

把这类消息拆成两件事：证明生成出来，和证明被接受。10月6日 OpenAI 一次公开722份 AI 数学手稿，覆盖372个未解决难题，后来撤回3篇、修订14篇。20天后换了做法，不寻求学术署名，请外部科学家验证，另拿出500万美元资助相关研究。三份证明现在都挂在公开仓库里。

股票投资财经