un auditeur IA a trouvé un bug provenant d'une exploitation de réapprovisionnement le protocole a été audité par deux grandes entreprises d'audit, qui ont toutes deux manqué le problème. Je suivais cette initiative d'audit IA appelée @savantchat, donc j'étais intéressé de savoir si elle allait détecter la cause profonde. elle a correctement identifié les vérifications manquantes pour un prix nul ou extrêmement élevé (>1e36), mais l'évaluation de ce qu'elle fait était contradictoire. dans le problème 3, elle dit que 0 taux de change contourne les vérifications de solvabilité, mais dans le problème 4, elle dit que la même valeur rend chaque emprunteur instantanément insolvable. c'est toujours un résultat impressionnant et cela montre qu'un auditeur humain travaillant avec un outil IA aurait probablement détecté ce problème. j'espère bientôt que nous aurons des auditeurs IA même dans le cadre du pipeline CI. un grand merci à @igorgulamov pour avoir géré cela pour moi.