Un auditor AI a găsit o eroare de la exploit-ul de reaprovizionare Protocolul a fost auditat de două firme majore de audit, ambele ratând problema. Urmăream acest efort de audit AI numit @savantchat așa că am fost interesat dacă va prinde cauza principală. Acesta a identificat în mod corect cecurile lipsă pentru prețul zero sau extrem de mare (>1E36), dar evaluarea a ceea ce face a fost contradictorie. În numărul 3 se spune că rata de schimb 0 ocolește verificările de solvabilitate, dar în numărul 4 se spune că aceeași valoare face ca fiecare împrumutat să fie insolvabil instantaneu. Acesta este totuși un rezultat impresionant și arată că un auditor uman care lucrează împreună cu un instrument AI ar fi detectat probabil această problemă. Sperăm că în curând vom avea auditori AI chiar și ca parte a CI Pipeline. Mulțumiri speciale @igorgulamov pentru că am rulat acest lucru pentru mine.