ビタリックは「AIはサイバーセキュリティを破壊しない。むしろ、バグを見つけるだけでなく、コードが安全であることを数学的に証明することさえできる」と語る

$ETH は、コードベース全体の形式検証（フォーマル・ベリフィケーション）に向けて取り組んでいる。ビタリックは非常に自信があり、資産の~90%を暗号資産（クリプト）で保有している

$ONE

$FLNC