Єдине, що заважає штучному інтелекту бути надзвичайно хорошим у аудиті, — це відсутність інвестицій у сферу аудиту штучного інтелекту. Я навчав багатьох аудиторів світового рівня як прямо, так і опосередковано. Я також грав на змаганнях і знаю, що у мене немає жодних шансів зробити щось віддалено близьке до світового класу. Конкуренція є складнішою, ніж аудит, оскільки перестановка точок входу та значущого простору станів набагато більша і набагато важча для міркувань. Штучний інтелект розчавив людей у 2016 році. Хтось, хто вклав 20-30 мільйонів доларів у дослідження та розробки аудиту штучного інтелекту, повністю перевернув би ситуацію. Вершиною таблиці лідерів за баг-баги web2 у Сполучених Штатах є LLM. * Такий штучний інтелект — це не одноразовий LLM, а щось, що може агентично писати модульні тести та формальні перевірочні специфікації, щоб перевірити своє розуміння кодової бази. Кількість токенів, яку це споживає, буде надзвичайно дорогою, але, ймовірно, конкурентоспроможною з тим, що коштує аудит зараз. ** Штучний інтелект ніколи повністю не замінить аудиторів, оскільки він ніколи не має стільки контексту, як людина. Але єдине, що зупиняє серйозні збої – це відсутність серйозних інвестицій. Я б ангельськи інвестував у такий проект, якби побачив, що у команди є потрібний досвід з аудитами та машинним навчанням.