ヴィタリック・ブテリン氏、AIによるサイバーセキュリティ崩壊説を否定

ヴィタリック・ブテリン（Vitalik Buterin）氏は、AIハッカーによってネットワークセキュリティが崩壊するという見方を否定した。同氏は、AIが数学的定理を証明できるのと同様に、複雑なプログラムの安全性も数学的に証明可能であると主張。セキュリティの定義は攻撃シナリオを含め複雑だが、コードの実装よりも検証が容易であると指摘し、防御側が有利であるという自身の見解を強調した。