OpenAI称AI模型反驳经典计算假设

IT时代网10月30日消息，美国人工智能公司OpenAI称，其AI模型反驳了“指数时间假设”（ETH）——一个支撑计算机科学近30年的基础性假设。

ETH于1999年由加州大学圣地亚哥分校的研究者提出，涉及理论计算机科学中一个经典难题：可满足性问题。随着开关数量增加，可能的组合呈指数增长，尽管有人找到无需逐一验证的捷径，但一直没有人能避免解题精力上的指数级膨胀，ETH主张永远不会有这样的捷径。

OpenAI使用检查数学证明的软件Lean验证了ETH的结果并提出反驳，表明存在能够更高效地找到满足所有规则解的捷径。打破ETH是朝解决著名的P与NP问题迈出的重要一步，该问题是克雷数学研究所公布的千禧年大奖难题之一。

此次OpenAI没有把成果直接发布上网，而是邀请麻省理工学院的计算机科学家作为外部专家主导成果的理解、验证与对外发布。OpenAI计划成立一个工作组，制作一份人类完全可读的证明，并于年底前举行一次虚拟评审会议，2027年再举行一次线下会议。

注：本文配图由AI生成，文中包含AI辅助创作的内容。

编辑：林一舟