AI-assisted hacking is outpacing traditional code reviews, NEAR co-founder says
AI-assisted hacking is outpacing traditional code reviews, NEAR co-founder says
NEAR co-founder Polosukhin called formal verification a necessary shift for securing blockchain code from AI hacking.AI has cut some mathematical proof-generation work from years to weeks.