OpenAI 发布 AI 生成数学手稿:宣称指数时间假设为假
jiqizhixin · x · 2026-11-08
OpenAI 发布了一份 AI 生成的数学手稿,并附 Lean 形式化,标题宣称「指数时间假设为假」,挑战计算复杂性理论的核心假设。要点:
- 核心主张:对固定子句宽度的布尔公式,提出确定性亚指数时间、多项式空间的精确计数(数满足赋值个数,而非仅判定是否存在)算法,构造使用代数表示与共享线性摘要来组织计数问题。
- 边界条件:更尖锐的稀疏公式界有前提——子句数必须不超过变量数的固定常数倍,不应被表述为无限制的运行时间保证。
- 现状:该结果正处于独立审查阶段,尚非已被确立的复杂性理论替代结论;AI 生成数学证明的可靠性仍待验证。
「模型」频道最新
- 马斯克确认 Grok 机器人正在修复:提升 token 效率与更聪明行为 — elonmusk · 2026-11-08
- 研究员预言：1B 小模型终将击败 Opus 5.5，本地 AI 是赢家 — CatAstro_Piyush · 2026-11-08
- OpenAI 对 Astra 6.x 异常沉默，KOL 判断暗藏重磅技术 — haider1 · 2026-11-08
- 开源 Qwopus3.8-27B-Coder-Flash：面向 Agent 编程的 27B 微调模型 — jacek2023 · 2026-11-08
- 2台256GB M5 Ultra集群实测：跑双模型胜过集群，GLM q4编码超 DeepSeek API — Viktri1 · 2026-11-08
- 付费用户实测对比质疑 Anthropic 偷偷降智 Opus 5.5 为新模型让路 — cyrus_zei · 2026-11-08