een AI-auditor vond een bug in de herbevoorradingsuitbuiting de protocol werd gecontroleerd door twee grote auditfirma's, die beide het probleem hebben gemist. Ik volgde deze AI-auditinspanningen genaamd @savantchat, dus ik was benieuwd of het de oorzaak zou vinden. het identificeerde correct de ontbrekende controles voor nul of extreem grote (>1e36) prijzen, maar de beoordeling van wat het doet was tegenstrijdig. in probleem 3 staat dat 0 wisselkoers solvabiliteitscontroles omzeilt, maar in probleem 4 staat dat dezelfde waarde elke lener onmiddellijk insolvent maakt. dit is nog steeds een indrukwekkend resultaat en het toont aan dat een menselijke auditor die samenwerkt met een AI-tool waarschijnlijk dit probleem zou hebben opgemerkt. hopelijk hebben we binnenkort AI-auditors zelfs als onderdeel van de CI-pijplijn. speciale dank aan @igorgulamov voor het uitvoeren hiervan voor mij.