Vitalik Buterin氏、攻撃的なAIツールに対するKimi 3.1の自主規制を支持。
月曜日、Xへの投稿で、AIモデルのKimi 3.1が最上位の攻撃的サイバー能力を意図的に学習データから除外していることに、問題はないとの考えを示した。
このトレードオフにより、防御側は備える時間をより多く確保できると主張している。
「ユースケースを差別することは、ユーザーを差別することよりもはるかにましだ」と述べ、非常に強力なサイバー攻撃の脅威が本格化する前に、システムを強化し、古いコードを点検する時間が世界には必要だと指摘した。
特定の人々を締め出すモデルよりも、誰に対しても特定のタスクを拒否するモデルを好むという。
5月19日には、AIを活用したバグ探しが開発者を圧倒するとの懸念に反論し、AI支援による形式検証が暗号資産分野で最も強力な防御策の一つになる可能性があると述べた。
モデルはコードとその証明の両方を書けるようになっており、開発者は意図した命題を確認すればよいという。
10月8日には、AI支援による数学の進歩でECDSAなどの暗号システムが予想より早く弱体化する可能性があると警告した一方、今日すぐに資金を新しいウォレットへ移そうと慌てる必要はないと助言した。
AIモデルのユースケースを制限することは、サイバーセキュリティにとって持続可能な道だと思いますか。それとも、エリートだけが利用できる仕組みを生み出すリスクがあるでしょうか。
#AI #Cybersecurity #Ethereum #FormalVerification