OpenAI 宣布在数学、复杂度理论和量子场论领域取得三项科学发现

OpenAI于2026年10月26日在官方公告中披露，内部模型分别在调和分析、计算复杂度理论和量子场论方向产出三项结果，关注价值在于其把AI生成研究成果直接置于学术验证流程中。

• 数学结果涉及局部平滑猜想，并据称推及Kakeya猜想和Stein限制猜想；相关自然语言证明和Lean形式化材料已发布到OpenAI官方GitHub。
• 复杂度理论结果声称否定指数时间假设，OpenAI称其已通过Lean形式化，但仍将由Russell Impagliazzo、Ramamohan Paturi和Ryan Williams等学者组织审查。
• 量子场论结果涉及四维规范场论、量子色动力学及杨–米尔斯理论，相关AI产物暂未公开，而是交由外部专家整理。
• OpenAI明确称这些材料更接近原始研究数据，学术意义仍取决于独立复核、解释和后续发表。
• 影响/看点：若外部团队确认关键证明并建立可复用的数学与物理论证，AI参与基础研究的评价方式可能变化；在此之前，形式化通过并不等同于学界已接受结论。资料依据: OpenAI《Working with academic communities to build scientific understanding》（2026-10-26）：https://openai.com/index/building-scientific-understanding-with-academic-communities/ GitHub OpenAI Math《Local smoothing for the Euclidean wave equation》（2026-10-25）：https://github.com/openai/math/blob/main/lean/docs/079.md

本内容由 AI 生成，仅供参考，请注意甄别