Wawasan hebat lainnya dari @karpathy, menunjukkan pentingnya verifikasi AI "Saya pikir analogi terkuat adalah AI sebagai paradigma komputasi baru (Perangkat Lunak 2.0) ... Perangkat lunak 1.0 dengan mudah mengotomatiskan apa yang dapat Anda tentukan. Perangkat lunak 2.0 dengan mudah mengotomatiskan apa yang dapat Anda verifikasi. ... Dalam paradigma pemrograman baru ini, fitur baru yang paling prediktif untuk dilihat adalah verifikasi. Jika tugas/pekerjaan dapat diverifikasi, maka dapat dioptimalkan secara langsung atau melalui pembelajaran penguatan, dan jaring saraf dapat dilatih untuk bekerja dengan sangat baik." Verifiabilitas dalam pembingkaian ini lebih berkisar pada konteks pelatihan / pengoptimalan - evaluasi apakah output AI benar + memungkinkan otomatisasi yang lebih baik karena itu. Verifikasi dalam AI + kripto lebih difokuskan pada konteks eksekusi. - Dapatkah kita memverifikasi input, model, dan output sudah benar dan belum dirusak (inferensi yang dapat diverifikasi) - Bisakah ada orang di dunia mengeksekusi kembali inferensi ini dan mendapatkan hasil yang sama hari ini, besok, dan 1 tahun dari sekarang (inferensi deterministik) - Bisakah kita memverifikasi kode yang tepat yang menjalankan agen ini (runtime yang dapat diverifikasi) - Dapatkah kami memverifikasi bahwa hanya agen yang memiliki akses ke, dan kemampuan untuk bertransaksi dari, dompetnya (runtime yang dapat diverifikasi) - Dapatkah kami memverifikasi reputasi agen ini (ERC-8004)