Vitalik Buterin rejette l’idée que des piratages propulsés par l’IA condamnent la cybersécurité
Le cofondateur d’Ethereum affirme que l’intelligence artificielle permettra de vérifier la sécurité du code grâce à des démonstrations mathématiques.
Le cofondateur d’Ethereum, Vitalik Buterin, a rejeté la thèse selon laquelle les piratages renforcés par l’intelligence artificielle (IA) laisseraient la cybersécurité sans issue. « L’idée selon laquelle le piratage assisté par l’IA signifie que la cybersécurité est condamnée devient de plus en plus courante. Je ne suis pas d’accord ».
« Je pense que la cybersécurité favorise naturellement la défense dès que les gens s’y mettent », a déclaré Buterin, qui a ajouté que « quiconque continue de détenir des cryptomonnaies (y compris moi, ~90 % de mon patrimoine net) fait implicitement ce pari », a affirmé le développeur hier, le 16 septembre 2026.
Le point central de Buterin est que l’IA peut traiter la sécurité d’un logiciel comme un théorème mathématique, même face à des codes complexes. « Si l’IA peut démontrer Navier-Stokes et FLT, alors l’IA peut démontrer l’affirmation “ce programme est sûr” comme un théorème mathématique. Même si le programme est très compliqué », a-t-il argumenté.
Les sigles FLT renvoient au Dernier théorème de Fermat, tandis que Navier-Stokes correspond à un ensemble d’équations différentielles de la physique mathématique ; les deux représentent des démonstrations complexes.
Le développeur a averti que le mot « sûr » dissimule « toutes sortes de squelettes dans le placard dès lors qu’on parle de ce que cela veut réellement dire ». Pour illustrer cette complexité, il a pris comme cas d’essai l’application de messagerie Signal. Il a expliqué que la définition la plus évidente — empêcher quelqu’un qui ne possède pas la clé du destinataire de lire les messages — ne couvre pas des scénarios où l’adversaire peut falsifier des messages, empêcher leur livraison ou attaquer activement le système.
$BTC $ETH $ZEC
Le cofondateur d’Ethereum affirme que l’intelligence artificielle permettra de vérifier la sécurité du code grâce à des démonstrations mathématiques.
Le cofondateur d’Ethereum, Vitalik Buterin, a rejeté la thèse selon laquelle les piratages renforcés par l’intelligence artificielle (IA) laisseraient la cybersécurité sans issue. « L’idée selon laquelle le piratage assisté par l’IA signifie que la cybersécurité est condamnée devient de plus en plus courante. Je ne suis pas d’accord ».
« Je pense que la cybersécurité favorise naturellement la défense dès que les gens s’y mettent », a déclaré Buterin, qui a ajouté que « quiconque continue de détenir des cryptomonnaies (y compris moi, ~90 % de mon patrimoine net) fait implicitement ce pari », a affirmé le développeur hier, le 16 septembre 2026.
Le point central de Buterin est que l’IA peut traiter la sécurité d’un logiciel comme un théorème mathématique, même face à des codes complexes. « Si l’IA peut démontrer Navier-Stokes et FLT, alors l’IA peut démontrer l’affirmation “ce programme est sûr” comme un théorème mathématique. Même si le programme est très compliqué », a-t-il argumenté.
Les sigles FLT renvoient au Dernier théorème de Fermat, tandis que Navier-Stokes correspond à un ensemble d’équations différentielles de la physique mathématique ; les deux représentent des démonstrations complexes.
Le développeur a averti que le mot « sûr » dissimule « toutes sortes de squelettes dans le placard dès lors qu’on parle de ce que cela veut réellement dire ». Pour illustrer cette complexité, il a pris comme cas d’essai l’application de messagerie Signal. Il a expliqué que la définition la plus évidente — empêcher quelqu’un qui ne possède pas la clé du destinataire de lire les messages — ne couvre pas des scénarios où l’adversaire peut falsifier des messages, empêcher leur livraison ou attaquer activement le système.
$BTC $ETH $ZEC
