OpenAI 内部模型声称反驳 ETH，图灵奖得主将组织公开独立审查

rrwilliams · x · 2026-10-27

理论计算机科学家 Ryan Williams 宣布：OpenAI 一个内部模型产出了对指数时间假说（ETH）的所谓反驳证明。Williams 与 Russell Impagliazzo、Mohan Paturi 受邀组织对该声明的公开、独立审查。

关键细节：团队未签署任何 NDA，也不收取任何报酬，因此可以自由地向社区持续分享审查过程中的发现；他们已要求 OpenAI 尽快公开所有相关原始数据，包括 PDF 与 Lean 形式化源码。这是「AI 产出重大数学/理论突破」传闻中少见的、由顶级学者背书并承诺公开验证的案例，结果值得关注。