一个有趣的比喻是，AI 生成大量数学/代码并通过形式验证产生正确性证明，就像我们正在进入一个 NP 感觉的时代，其中陈述是数学/代码，而证人就是这些证明。

当然这并不完美，因为我们仍然可以（我想）自己验证代码。