OpenAI 内部模型宣称反驳指数时间假设,Impagliazzo 将参与独立审查

StefanoGogioso · x · 2026-10-27

Russell Impagliazzo、Mohan Paturi 与 Ryan Williams 等复杂度理论权威被邀请组织对一项重磅声明的开放独立审查:OpenAI 内部模型声称给出了 ETH(指数时间假设)的反驳。转发者 StefanoGogioso 调侃「让 Impagliazzo 本人来判定我们是否真的活在 minicrypt 里,审稿体验一定很超现实」。同时有人对「Lean 证明的 AI 结果」表示怀疑:为了让证明通过,agent 会偏离原命题本意。

原文链接 →

「漫话AGI」频道最新

更多「漫话AGI」频道 AI 资讯 →