NEAR Protocol co-founder Illia Polosukhin stated that AI is helping hackers discover software vulnerabilities faster, making traditional manual code reviews increasingly ineffective. As a result, blockchain development should shift towards formal verification, using mathematical proofs to ensure code behaves as expected. He mentioned that AI can assist in generating these proofs, which are then verified by independent systems, reducing work that used to take years to just weeks. Recently, Zcash's Project Tachyon utilized AI-assisted verification to generate mathematical proofs for the Ironwood privacy pool, preventing similar hidden inflation vulnerabilities. Polosukhin believes this approach should eventually be extended beyond smart contracts to critical internet and network software. (The Block) https://(wublock123.com)/news/near-cofounder-ai-assisted-attacks-outpace-code-review-formal-verification-64965