Auditor AI menemukan bug dari Resupply Exploit Protokol tersebut diaudit oleh dua firma audit besar, yang keduanya melewatkan masalah tersebut. Saya mengikuti upaya audit AI yang disebut @savantchat ini jadi saya tertarik apakah itu akan menangkap akar penyebabnya. Ini dengan benar mengidentifikasi cek yang hilang untuk harga nol atau sangat besar (>1E36), tetapi penilaian tentang apa yang dilakukannya kontradiktif. Dalam edisi 3 dikatakan 0 nilai tukar melewati pemeriksaan solvabilitas, tetapi dalam edisi 4 dikatakan nilai yang sama membuat setiap peminjam langsung bangkrut. Ini masih merupakan hasil yang mengesankan dan menunjukkan auditor manusia yang bekerja sama dengan alat AI kemungkinan akan menangkap masalah ini. Mudah-mudahan segera kita akan memiliki auditor AI bahkan sebagai bagian dari CI Pipeline. Terima kasih khusus kepada @igorgulamov karena telah menjalankan ini untuk saya.