Как заявил сооснователь NEAR Protocol Иллия Полосухин в интервью The Block в понедельник, ИИ теперь помогает хакерам выявлять уязвимости в программном обеспечении быстрее, чем традиционные проверки безопасности успевают их устранить. Полосухин отметил, что прежний подход — когда опытные разработчики вручную просматривают код — больше не является устойчивым с учетом возможностей новых ИИ-моделей. Он предложил формальную верификацию, которая математически доказывает, что код «делает именно то, что заявлено». Хотя исторически это было дорого и трудозатратно, сейчас ИИ может помогать генерировать большую часть необходимых доказательств, которые затем можно независимо проверить. Проект Tachyon, инициатива в Zcash, продемонстрировал этот подход: с помощью верификации с поддержкой ИИ ему удалось получить математическое доказательство за недели, а не за годы.

Посмотреть источник

Дисклеймер: Информация на этой странице может быть получена из источников третьих сторон и предоставляется только для ознакомления. Она не отражает взгляды или мнения Gate и не является финансовой, инвестиционной или юридической рекомендацией. Торговля виртуальными активами связана с высоким риском. Пожалуйста, не основывайте свои решения исключительно на данных этой страницы. Подробнее смотрите в Дисклеймере.

Связанные новости

07-20 14:22

NEAR Protocol разворачивает в основной сети схему подписи с постквантовой криптографией, сертифицированную NIST, FIPS-204, с обновлением версии 2.13

07-20 12:11

ИИ-безопасностная стартап-компания Neo завершила раунд финансирования $100M , который возглавили a16z и Bessemer Venture Partners

07-20 11:07

Институциональные инвесторы уходят дальше проверок, поскольку сигналы доверия не срабатывают: отчёт Hacken за 2-й квартал

07-20 11:06

Виталик Бутерин призывает замедлить развитие ИИ на переднем крае и предлагает путь к интеграции человека и машины

Детальный анализ

Акции Alphabet растут на 3% после сообщения о разработке ИИ-чипа Frozen v2

Oliver Grant07-20 14:15