OpenAI 与 Anthropic 各自宣称用算法推翻指数时间假设
burny_tech · x · 2026-11-02
两家竞争的 AI 实验室独立报告称，各自发现了能推翻理论计算机科学核心假设「指数时间假设(ETH)」的算法。
- Anthropic 的算法：声称能在亚指数时间内统计 3-SAT 的解数量，复杂度 T(n) = 2^{O(n log log n / √log n)}，其中 log log n / √log n 趋近于零，这是数学上的反直觉之处。
- 若成立，将动摇复杂度理论数十年来依赖的基础假设。
- 双方均已发布正式证明材料，但独立验证仍在进行中。
- 关键悬念：这些 AI 生成的数学论证能否经受住数学界的严格审查。
所属事件:OpenAI 与 Anthropic 各自宣称 AI 推翻指数时间假设(3 条相关)→
「研究」频道最新
- 生成式长视频漂移问题的新思路：让每帧看到全片 — mangahomanga · 2026-11-04
- Reddit 研究者征集 Chinchilla 缩放定律小规模复现实验经验 — turing-math-labs · 2026-11-04
- TLAPS-Bench 发布:265 个真实系统证明目标,GPT-6.1 Sol 仅解出 44.3% — tianyin_xu · 2026-11-04
- StreamDuo 让游戏解说 AI 看懂没玩过的游戏,实体召回提升近 30% — Zixian Gao · 2026-11-04
- Redwood 研究员析递归自我改进：AI 研究自动化与失控加速可以拆开看 — deanwball · 2026-11-04
- UMAP 0.6 引入 Adam 与动量布局优化器,0.7 将设为默认 — leland_mcinnes · 2026-11-04