OpenAI 公布内部模型产出的三项结果：各维度的局部光滑化猜想证明、指数时间假设（ETH）不成立的反证，以及四维杨-米尔斯理论的存在性证明。
OpenAI 称这些结果更像原始研究数据，邀请外部专家分组担任解读与验证角色；三组发布策略不同，计算机科学组已即时公开证明及 Lean 形式化，物理组暂缓发布。
编辑注：如果三项证明最终成立，均为相关领域的历史性突破。其中，指数时间假设（ETH）是仅次于 P vs NP 等核心问题的重大复杂性假设之一，其被推翻将动摇大量精确算法、参数化复杂性与细粒度复杂性研究所依赖的条件下界；全维局部光滑化证明还将一并解决 Kakeya、Stein 限制等调和分析核心猜想；四维杨–米尔斯存在性则直接指向七大千禧年数学难题之一。
© 版权声明
文章版权归作者所有，未经允许请勿转载。
THE END
暂无评论内容