Основатель Ethereum Виталик Бутерин говорит, что проверка ИИ может помочь защитить криптосети

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