OpenAI 与 Anthropic 宣称用 AI 推翻指数时间假设，理论计算机科学震动
emmanuelvivier · x · 2026-11-02
OpenAI 和 Anthropic 本周分别宣称推翻了计算机科学中沿用 27 年的指数时间假设（ETH）——即某些问题的求解成本随问题规模指数增长。若证明成立，大量建立在 ETH 之上的复杂性与算法设计研究将失效。
- Linköping 大学教授 Peter Jonsson 表示自己即将在 IEEE FOCS 会议报告的工作已「死亡」，并预计这将是会上普遍现象：「人们开口第一句会是：ETH 是错的，我论文一半不成立了」
- 两家公司的证明已发布在 GitHub，含自然语言版和可机器验证的 Lean 格式
- 尚无独立验证；OpenAI 已邀请当初提出该假设的 UCSD 学者和一位曾反驳过 ETH 变体的 MIT 学者组织研究者共同解读证明
- Jonsson 称这很令人困扰，「但我们从中学到很多，这就是科学」
「漫话AGI」频道最新
- Palmer Luckey 追问数据中心 RAM 的使用权边界:能否做服务条款禁止的事 — avaitopiper · 2026-11-02
- 陶哲轩博客刊文：OpenAI 700 篇论文后数学界该如何应变 — Hesamation · 2026-11-02
- Polsia 创始人宣称 AI 可自主运营经济中任何人类活动，拆解「AI 跑 80% 公司」 — LinusEkenstam · 2026-11-02
- 四大聊天助手都在记着你,却没人帮你找回聊过的内容 — Ok_Negotiation_2587 · 2026-11-02
- 用 $20 AI 订阅修好手机不出门修,研究员质疑 AI 或压低 GDP — stanislavfort · 2026-11-02
- 网友调侃 Mustafa 意识言论：80 亿人也没同意他出生 — repligate · 2026-11-02