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