Vitalik Buterin, cofondateur d’Ethereum, rejette l’idée que le piratage assisté par l’IA condamne la cybersécurité. Il estime que l’IA pourrait rendre la vérification formelle pratique, même pour des systèmes complexes, en prouvant des propriétés de sécurité comme des théorèmes mathématiques. Les incidents récents illustrent les deux visages de l’IA : une faille Zcash a été découverte grâce à l’IA en mai, tandis que des attaquants ont dérobé environ 130 millions de dollars en bitcoins via les portefeuilles Coldcard en juillet. Buterin a ajouté que près de 90 % de son patrimoine net est investi dans les cryptomonnaies, et qu’Ethereum prévoit de développer la vérification par l’IA dans les prochaines années.
Source: Lire l’article original
