NEAR Protocol co-founder Illia Polosukhin stated that formal verification research aims to provide mathematical guarantees for software behavior to mitigate security risks from AI-generated code and attacker exploitation tools.