🤖 Виталик Бутерин: ИИ может сделать криптовалюты более безопасными

Сооснователь Ethereum Виталик Бутерин высказал мнение, что ИИ-поддержанная «формальная верификация» может значительно укрепить безопасность в криптоиндустрии. В своем новом блоге он подчеркнул, что такая технология может стать ключевым инструментом для кибербезопасности. По словам Бутерина, использование ИИ в проверке кода может снизить количество ошибок и уязвимостей в смарт-контрактах.