Vitalik Buterin rejeita a ideia de que ataques com IA condenem a cibersegurança
O cofundador do Ethereum sustenta que a inteligência artificial permitirá verificar a segurança do código por meio de demonstrações matemáticas.
O cofundador do Ethereum, Vitalik Buterin, rejeitou a tese de que os hacks potencializados por inteligência artificial (IA) deixem a cibersegurança sem saída. “Está cada vez mais comum a ideia de que fazer hacking com IA significa que a cibersegurança está condenada. Não concordo”.
“Eu acredito que a cibersegurança, de forma natural, favorece a defesa quando as pessoas colocam as pilhas”, disse Buterin, acrescentando que “qualquer pessoa que continue mantendo criptomoedas (incluindo eu, ~90% do meu patrimônio líquido) está fazendo implicitamente essa aposta”, afirmou o desenvolvedor ontem, 16 de setembro de 2026.
O argumento central de Buterin é que a IA pode tratar a segurança de um software como um teorema matemático, mesmo diante de códigos complexos. “Se a IA consegue demonstrar Navier-Stokes e FLT, então a IA consegue demonstrar a afirmação ‘este programa é seguro’ como um teorema matemático. Mesmo que o programa seja muito complicado”, argumentou.
As siglas FLT se referem ao Último Teorema de Fermat, enquanto Navier-Stokes corresponde a um conjunto de equações diferenciais da física matemática; ambas representam demonstrações complexas.
O desenvolvedor alertou que a palavra “seguro” esconde “todos os tipos de esqueletos no armário” quando se trata do que ela realmente significa. Para ilustrar essa complexidade, usou como caso de teste o aplicativo de mensagens Signal. Explicou que a definição mais óbvia —evitar que alguém que não tenha a chave do destinatário leia as mensagens— não cobre cenários em que o adversário possa falsificar mensagens, impedir sua entrega ou atacar ativamente o sistema.
$BTC $ETH $ZEC
O cofundador do Ethereum sustenta que a inteligência artificial permitirá verificar a segurança do código por meio de demonstrações matemáticas.
O cofundador do Ethereum, Vitalik Buterin, rejeitou a tese de que os hacks potencializados por inteligência artificial (IA) deixem a cibersegurança sem saída. “Está cada vez mais comum a ideia de que fazer hacking com IA significa que a cibersegurança está condenada. Não concordo”.
“Eu acredito que a cibersegurança, de forma natural, favorece a defesa quando as pessoas colocam as pilhas”, disse Buterin, acrescentando que “qualquer pessoa que continue mantendo criptomoedas (incluindo eu, ~90% do meu patrimônio líquido) está fazendo implicitamente essa aposta”, afirmou o desenvolvedor ontem, 16 de setembro de 2026.
O argumento central de Buterin é que a IA pode tratar a segurança de um software como um teorema matemático, mesmo diante de códigos complexos. “Se a IA consegue demonstrar Navier-Stokes e FLT, então a IA consegue demonstrar a afirmação ‘este programa é seguro’ como um teorema matemático. Mesmo que o programa seja muito complicado”, argumentou.
As siglas FLT se referem ao Último Teorema de Fermat, enquanto Navier-Stokes corresponde a um conjunto de equações diferenciais da física matemática; ambas representam demonstrações complexas.
O desenvolvedor alertou que a palavra “seguro” esconde “todos os tipos de esqueletos no armário” quando se trata do que ela realmente significa. Para ilustrar essa complexidade, usou como caso de teste o aplicativo de mensagens Signal. Explicou que a definição mais óbvia —evitar que alguém que não tenha a chave do destinatário leia as mensagens— não cobre cenários em que o adversário possa falsificar mensagens, impedir sua entrega ou atacar ativamente o sistema.
$BTC $ETH $ZEC
