Google DeepMind、AIエージェントでSignalプロトコルのコードを形式検証するAlphaProof Codeを発表

入選の記録

入選二回の合計 164 ≥ 基準の 2 倍 120

情報源の区分

公式・一次情報、この区分の基準は 60 点

予備審査

通過：AI智能体框架用于形式化验证代码

推薦理由

DeepMindがマルチエージェント構成でSignalプロトコルの実コードを形式検証。従来なら数年かかる作業を4週間で完了し、検証成果物もオープンソース化している。

採点はモデルが同じ基準で独立に二回行い、満点は 100。二回の合計が基準の 2 倍に届いたものだけが入選します。基準は情報源の区分ごとに決めています。