AI 產生大量數學/程式碼並使用形式驗證產生正確性證明的一個有趣比喻是，我們就像是進入了一個 NP 感覺的時代，這裡的陳述是數學/程式碼，而見證則是這些證明。

當然這並不完美，因為我們仍然可以（我想）自己驗證代碼。