Сооснователь Эфириума Виталик Бутерин заявил, что даже если злоумышленники смогут быстрее находить уязвимости и проводить изощренные атаки с помощью искусственного интеллекта, эту же технологию можно использовать для создания более мощных инструментов защиты. Бутерин полагает, что благодаря ИИ разработчики могут создавать математически верифицированное программное обеспечение. Аргумент основан на формальной верификации — этот метод использует математику для доказательства: […]
JOIN
