Roko 预测 AI 若解 P vs NP,答案或是丑陋算法证明 P=NP

在关于 AI 数学能力上限的讨论中,Roko Mijic 给出具体预测:如果 AI 很快解决 P vs NP 问题,最可能的情形是 P 确实等于 NP,且证明方式是一个「丑到离谱」的显式算法,可绕开三个已知证明障碍中的两个。讨论者 jessicata 用类比补充:证明「存在」比证明「不存在」容易,一个反例就够;若 AI 真证明了 P=NP 这种与人类直觉相悖的结论,将意味着它具备人类不具备的洞察力。

2026-09-09 ~ 2026-09-09 · 3 条相关