Виталик сделал весомое замечание на этой неделе: все паникуют из-за того, что ИИ нарушает кибербезопасность, но на самом деле защита здесь имеет преимущество. Его аргумент? Когда вы сочетаете ИИ с формальной верификацией, вы можете математически доказать безопасность кода, а не просто играете в «бей моль» с багами. Ethereum уже активно использует этот подход, чтобы делать протоколы устойчивыми с самого начала.