Un auditor de IA encontró un error en el exploit Resupply El protocolo fue auditado por dos importantes firmas de auditoría, las cuales han pasado por alto el problema. Estaba siguiendo este esfuerzo de auditoría de IA llamado @savantchat por lo que estaba interesado en si detectaría la causa raíz. Identificó correctamente los cheques faltantes para el precio cero o extremadamente grande (>1E36), pero la evaluación de lo que hace fue contradictoria. En el número 3 dice que el tipo de cambio 0 pasa por alto los controles de solvencia, pero en el número 4 dice que el mismo valor hace que todos los prestatarios sean insolventes al instante. Este sigue siendo un resultado impresionante y muestra que un auditor humano que trabaje junto con una herramienta de IA probablemente habría detectado este problema. Esperemos que pronto tengamos auditores de IA, incluso como parte de la cartera de proyectos de CI. Un agradecimiento especial a @igorgulamov por ejecutar esto para mí.