OpenAI 公布其内部模型产出的三项结果：各维度局部光滑化猜想的证明、指数时间假设（ETH）不成立的反证，以及四维杨–米尔斯理论的存在性证明。OpenAI 将这些结果描述为“原始研究数据”，并邀请外部专家分组解读和验证；计算机科学组已即时公开证明及 Lean 形式化，物理组则暂缓发布。三项结果目前均未经外部独立验证，若最终成立将构成相关领域的重大突破，但现阶段应视为待核实的模型产出。
背景
指数时间假设（ETH）是细粒度复杂性理论所依赖的核心假设，四维杨–米尔斯存在性则是克雷数学研究所七大千禧年难题之一，二者都属于长期未解的基础问题。Horizon 8 月 4 日的日报曾报道，OpenAI 发布《数学领域的十项进展》，综述 AI 在数学与理论计算机科学的成果；此次 OpenAI 则把三项具体结果交给外部专家分组解读与验证。菲尔兹奖得主高尔斯在 8 月的分析中认为，当前 LLM 更接近“采样式”的候选生成，距离产出人类式的新颖证明仍有差距（Horizon 8 月 13 日日报），这也解释了 OpenAI 为何强调这些结果仍需外部验证。