Аудитор зі штучним інтелектом знайшов помилку від експлойту Resupply Протокол був перевірений двома великими аудиторськими фірмами, обидві з яких пропустили це питання. Я стежив за цією ініціативою з аудиту штучного інтелекту під назвою @savantchat, тому мені було цікаво, чи зможе вона виявити першопричину. Він правильно визначив відсутні чеки за нульову або надзвичайно велику (>1E36) ціну, але оцінка того, що він робить, була суперечливою. У випуску 3 написано, що 0 обмінний курс обходить перевірки платоспроможності, але у випуску 4 написано, що те саме значення миттєво робить кожного позичальника неплатоспроможним. Це все ще вражаючий результат, і він показує, що людина-аудитор, працюючи разом з інструментом штучного інтелекту, швидше за все, виявив би цю проблему. Сподіваюся, скоро у нас з'являться аудитори штучного інтелекту навіть як частина CI Pipeline. Особлива подяка @igorgulamov за те, що ви запустили це для мене.