Vitalik Buterin apoia os limites autoimpostos do Kimi 3.1 para ferramentas de IA ofensivas.
Ele publicou no X na segunda-feira que se sente confortável com o modelo de IA Kimi 3.1 deixando deliberadamente de fora dos dados de treinamento recursos cibernéticos ofensivos de ponta.
Ele argumenta que essa compensação dá aos defensores mais tempo para se preparar.
“Discriminar casos de uso é MUITO menos ruim do que discriminar usuários”, escreveu, observando que o mundo precisa de tempo para reforçar os sistemas e verificar códigos antigos antes que o impacto total de ataques cibernéticos muito poderosos recaia sobre nós.
Ele prefere um modelo que recuse certas tarefas para todos a um que rejeite determinadas pessoas.
Em 19 de maio, ele contestou os temores de que a busca por vulnerabilidades com IA sobrecarregaria os desenvolvedores, dizendo que a verificação formal assistida por IA poderia se tornar uma das defesas mais fortes do setor cripto.
Ele disse que agora um modelo pode escrever tanto o código quanto sua prova, deixando aos desenvolvedores a tarefa de confirmar a declaração pretendida.
Em 8 de outubro, ele alertou que a matemática assistida por IA poderia enfraquecer a ECDSA e sistemas criptográficos semelhantes mais cedo do que o esperado, mas aconselhou os usuários a não correrem para transferir fundos para novas carteiras hoje.
Você acha que restringir os casos de uso de modelos de IA é um caminho sustentável para a cibersegurança ou corre o risco de criar um sistema elitista de acesso?
#AI #Cybersecurity #Ethereum #FormalVerification
Ele publicou no X na segunda-feira que se sente confortável com o modelo de IA Kimi 3.1 deixando deliberadamente de fora dos dados de treinamento recursos cibernéticos ofensivos de ponta.
Ele argumenta que essa compensação dá aos defensores mais tempo para se preparar.
“Discriminar casos de uso é MUITO menos ruim do que discriminar usuários”, escreveu, observando que o mundo precisa de tempo para reforçar os sistemas e verificar códigos antigos antes que o impacto total de ataques cibernéticos muito poderosos recaia sobre nós.
Ele prefere um modelo que recuse certas tarefas para todos a um que rejeite determinadas pessoas.
Em 19 de maio, ele contestou os temores de que a busca por vulnerabilidades com IA sobrecarregaria os desenvolvedores, dizendo que a verificação formal assistida por IA poderia se tornar uma das defesas mais fortes do setor cripto.
Ele disse que agora um modelo pode escrever tanto o código quanto sua prova, deixando aos desenvolvedores a tarefa de confirmar a declaração pretendida.
Em 8 de outubro, ele alertou que a matemática assistida por IA poderia enfraquecer a ECDSA e sistemas criptográficos semelhantes mais cedo do que o esperado, mas aconselhou os usuários a não correrem para transferir fundos para novas carteiras hoje.
Você acha que restringir os casos de uso de modelos de IA é um caminho sustentável para a cibersegurança ou corre o risco de criar um sistema elitista de acesso?
#AI #Cybersecurity #Ethereum #FormalVerification
