The Decoder· Manuel Uth·· 4 日前
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週間で完了した。
入選の記録
基準 76メディアと個人1 回目 882 回目 88
入選二回の合計 176 ≥ 基準の 2 倍 152
- 情報源の区分
- メディアと個人、この区分の基準は 76 点
- 予備審査
- 通過：AlphaProof Code用AI智能体验证加密代码
- 推薦理由
- DeepMindがAIエージェントでSignalの暗号中核の形式検証を成し遂げ、所要期間と人手によるレビューの割合を示している。従来の検証プロセスのコストと比べられる。
- 同じ出来事
採点はモデルが同じ基準で独立に二回行い、満点は 100。二回の合計が基準の 2 倍に届いたものだけが入選します。基準は情報源の区分ごとに決めています。
情報源：The Decoder · the-decoder.com