Google DeepMind公式ブログの最新発表まとめ

Signalの暗号コード、AIが約4週間で数学的に検証

Google DeepMindがAlphaProof Codeを発表。Signalの暗号プロトコルの実コードを約4週間で形式検証し、人の確認は全体の1%に抑えました。仕組みと今後の課題を解説します。