#computational complexity

OpenAI 公布其内部模型产出的三项结果：各维度局部光滑化猜想的证明、指数时间假设（ETH）不成立的反证，以及四维杨–米尔斯理论的存在性证明。OpenAI 将这些结果描述为“原始研究数据”，并邀请外部专家分组解读和验证；计算机科学组已即时公开证明及 Lean 形式化，物理组则暂缓发布。三项结果目前均未经外部独立验证，若最终成立将构成相关领域的重大突破，但现阶段应视为待核实的模型产出。