OpenAI宣布取得三项重大科学突破 指数时间假说被证伪

【OpenAI宣布取得三项重大科学突破 指数时间假说被证伪】金色财经报道，10月27日，OpenAI 宣布，其 AI 模型在数学、计算机科学和物理学领域取得三项重大突破。在数学领域，AI 证明了适用于所有维度的局部光滑猜想，并由此解决局部光滑猜想与挂谷猜想。在计算机科学领域，AI 推翻了长期被广泛接受的指数时间假设，意味着未来可能找到速度更快的算法。在物理学领域，AI 提出量子色动力学及杨–米尔斯理论的严格数学存在性证明，涉及世界七大千禧年数学难题之一。OpenAI 表示，数学和计算机科学成果已通过 Lean 数学验证工具进行形式化验证，并公开证明材料；物理学成果正由诺贝尔物理学奖得主等专家参与审查。
计算机科学方面的发现涉及指数时间假设（ETH），ETH 是计算复杂性理论中一个存在已久的猜想，研究布尔公式可满足性问题的计算难度，与著名的 P 和 NP 问题密切相关。长期以来，学术界普遍认为 ETH 成立。
OpenAI 于 10 月 16 日生成了推翻 ETH 的自然语言证明，10 月 17 日又完成了 Lean 形式化证明。随后，OpenAI 开始着手建立前述外部合作机制。

原文链接：https://openai.com/index/building-scientific-understanding-with-academic-communities/