OpenAI 模型宣称反驳指数时间假设，将通过独立审查
OpenAI 称其内部模型于 10 月 16 日对一个开放问题发现否定性结果，宣称证明指数时间假设(ETH)为假，证明次日已通过 Lean 形式化验证；Anthropic 的模型据称也独立发现了同一算法难题的证明。复杂度理论权威 Russell Impagliazzo、Mohan Paturi 与 Ryan Williams 受邀组织对这一重磅声明的开放独立审查，社区对「证伪」说法的核查认为核心事实成立。
2026-10-27 ~ 2026-10-28 · 3 条相关
- 第 1 集:数学界公开信呼吁 AI 公司勿内定数学成果解读者(2026-10-26,3 条)
- 第 2 集:OpenAI 宣布 AI 在数学、计算机与物理领域获三项科学发现(2026-10-27,113 条)
- 第 3 集:Brockman 回应 AI 数学热:P 大概率仍不等于 NP(2026-10-27,6 条)
- 第 4 集:AI 求解 ETH 难题引质疑：形式化证明与文本不匹配(2026-10-27,2 条)
- 第 5 集:OpenAI 模型宣称反驳指数时间假设，将通过独立审查(2026-10-27,3 条)
- 第 6 集:IAS 数学顾问组施压 OpenAI：立即公开 Yang-Mills 证明(2026-10-27,3 条)
- OpenAI 内部模型宣称反驳指数时间假设，Impagliazzo 将参与独立审查 — StefanoGogioso · 2026-10-27
- AI 系统证明指数时间假设(ETH)为假，结果已通过 Lean 验证 — burny_tech · 2026-10-28
- OpenAI 与 Anthropic 模型各自独立发现同一算法难题证明，Lean 验证 — lxrjl · 2026-10-28