Vitalik Buterin a répondu avec véhémence sur X à une rumeur. Certains disent que des hackers de l’IA finiront tôt ou tard par percer la sécurité informatique du réseau, mais il n’est pas d’accord. Sa raison : la cybersécurité est, par nature, du côté de la défense ; tant que les gens font leur travail avec minutie. Si l’IA peut prouver les équations de Navier‑Stokes et le grand théorème de Fermat, alors il suffit de traiter « ce programme est sûr » comme un théorème mathématique à démontrer, et même un code très complexe n’est pas un problème. Il a aussi mentionné que, sur sa fortune nette (environ 90 %), une grande partie reste investie dans des actifs cryptographiques. Il plaide pour que les développeurs utilisent l’IA afin de faire des vérifications formelles, en démontrant et en rendant l’ensemble du système solidement prouvé, plutôt que de se contenter de ne surveiller que quelques modules.