复杂度学者 Fortnow：AI 已能自证定理，「Optiland」比预期早了五年到来
fortnow · x · 2026-11-05
计算复杂度学者 Lance Fortnow 撰文讨论 AI 对「P=NP 理想国」的逼近。
- 2000 年千禧年大奖刚公布时的老玩笑：证明 P=NP 不仅能拿 100 万美元，还能顺手解出其余六题再赚 600 万
- 他在 2022 年的 CACM 文章提出「Optiland」愿景：享受 P=NP 带来的所有好处、同时保住密码学；当时认为 ML 学不会大数求和/乘法这类简单算术，距「AI 补全并验证我论文里的非形式化证明」还很远
- 不到五年，现实超出想象：AI 不仅补全证明细节，还能独立找到定理的证明——已有计算机生成的 Navier-Stokes 等重要问题的形式化证明
- 他放弃预测 AI 下一个会证明什么，但仍坚持 P vs NP 本身需要 AI 无法自行想出的全新技术
- 结论性提问：既然 AI 已经在做「高效找证明」这件事，除破解密码外，还有什么是 P=NP 能解决而 AI 与优化算法解决不了的实际问题？
「漫话AGI」频道最新
- 人类与 AI 的数据效率差距：预训练效率与零样本灵活性 — dyamins · 2026-11-05
- 盖茨:税制偏向买 AI 而非雇人,正加速白领岗位替代 — rohanpaul_ai · 2026-11-05
- Karpathy:1970 年代科幻为何几乎没预测到 AI 到来 — Hesamation · 2026-11-05
- Steam Next Fest 单届 8000+ Demo，AI 洪流正在重塑游戏行业 — draginol · 2026-11-05
- 《沙丘》导演维伦纽瓦：AI 只能复制过去，真正的创造力属于人类 — adariostrange · 2026-11-05
- 美国 AI 扩张卡在两道物理关口：电力与人形机器人量产 — ingliguori · 2026-11-05