[NEAR Co-Founder: AI-Assisted Hacking is Outpacing Traditional Code Audits] According to The Block, NEAR Protocol co-founder Illia Polosukhin stated that AI is significantly accelerating hackers' ability to discover software vulnerabilities, making traditional code audit methods increasingly inadequate. He pointed out that the Balancer incident in October last year marked the beginning of AI-assisted hacking, and the old model of relying on manual audits is no longer sustainable in the AI era. Polosukhin advocates for the adoption of formal verification, which uses mathematical proofs to ensure that code behavior fully aligns with specifications. AI can generate most of the proofs, with humans verifying their accuracy, drastically reducing the time required for proof generation. He believes formal verification should extend beyond smart contracts to cover critical internet and network software. On the same day, NEAR announced an upgrade allowing users to switch to quantum-resistant account keys, with the network capable of automatically scaling capacity as activity grows.