The Decoder· Manuel Uth·· nullAIスコア87
Google DeepMind、AlphaProof CodeでSignalの暗号コアを4週間で検証
Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
AIによる概要
Google DeepMindは、ソフトウェアがセキュリティ仕様を満たすことを数学的に証明するAIシステム「AlphaProof Code」を発表しました。Signalの暗号プロトコルで、端末上で動く暗号コアの検証を、通常は数年かかる作業を4週間で完了しました。
出典：The Decoder · the-decoder.com