可驗證的執行可能成爲下一代AI的一個關鍵特徵。