OpenAI宣称攻克三大科学难题，两份证明已公开

AI交出一份“证明”之后，科学工作还没有结束。接下来，其他人要能看懂、检查，并判断它究竟证明了什么。

OpenAI 10月26日公布三项科学研究进展，涉及数学、计算机科学和理论物理。公司称，其研究模型为长期难题产生了新的证明或构造。三项进展的公开程度并不相同：数学和计算机科学方向已有论文与形式化材料，物理学方向的说明仍由外部专家工作组整理。[1]

因此，理解这次公告，既要看成果声称解决了什么，也要看哪些证据已经开放给学界。

两份论文，把主张放到了可讨论的位置

数学方向涉及欧几里得波动方程的局部光滑问题，研究的是波动传播中解的光滑程度。OpenAI称，相关结果覆盖至少二维的空间，并带来其他数学问题上的推论。[1][2]

计算机科学方向的论文则直接以《指数时间假说是错误的》为题，提出对一类布尔逻辑问题的新算法。此类问题可以理解为：给出许多真假判断规则，寻找同时满足这些规则的答案。[3]

“指数时间”描述计算量随问题规模迅速膨胀。论文挑战的是一项关于计算难度的假设；从这一主张直接推导出“所有难题都能高效求解”或“现有密码体系已经被破解”，都超出了公告能够支持的范围。

这两份材料的公开，为其他研究者检查定义、假设和推导提供了基础。论文题目与公司公告本身，不能替代这一过程。

形式化材料增加了检查手段，也有适用边界

OpenAI表示，数学和计算机科学结果附有Lean形式化材料。Lean是一套可以把数学命题与推导写成严格规则、交由计算机检查的工具。[1]

它能够帮助减少推导步骤中的遗漏，但检查仍以写入系统的定义、前提和命题为对象。形式化命题是否准确对应原来的科学问题，结果的意义如何，也需要专业判断。

这里仍应分清：模型生成了答案、形式化步骤可被检查、独立研究者接受了结论，是不同的进展标志。

物理学部分，仍需等待更完整的公开材料

官方公告还涉及杨—米尔斯理论及相关量子场论的数学构造。这类工作试图为描述粒子和相互作用的理论建立严格数学基础。[1]

截至这份公告发布时，相关证明没有与前两项论文一并公开，外部工作组正在整理说明材料。参与工作组也不等于每位成员已经完成验证或对全部结论作出背书。

此次消息值得跟进，因为AI开始把能力伸向需要长期推导与验证的基础研究。它能否成为经得住检验的科学成果，最终要由公开材料和持续的独立检查来回答。

参考资料

[1] OPENAI. Building scientific understanding with academic communities[EB/OL]. (2026-10-26)[2026-10-28].

[2] OPENAI. Local smoothing for the Euclidean wave equation[EB/OL]. (2026-10-25)[2026-10-28].

[3] OPENAI. The Exponential Time Hypothesis is False[EB/OL]. (2026-10-25)[2026-10-28].