🤖 Vitalik Buterin believes that powerful AI models will soon start mass-finding vulnerabilities in code — and this could sharply hit crypto, ZK, STARKs, and post-quantum infrastructure.

He sees the solution NOT in AI simply writing more code, but in programs with mathematically proven security — where important software is not just tested, but literally proven to work correctly.

@DeCenterOrg