Ars Technica · AI· Lily Hay Newman, wired.com·· 4 日前
Google DeepMind、Signalの主要部分を数学的に検証
Google DeepMind just mathematically verified key parts of Signal
AI による要約
Google DeepMindがSignalの主要部分を数学的に検証した。プロジェクトは4週間にわたった。原文は、このプロジェクトがAIによって形式検証がより実用的になる可能性を示唆すると伝えている。
入選の記録
基準 76メディアと個人1 回目 582 回目 58
入選せず二回の合計 116 < 基準の 2 倍 152
- 情報源の区分
- メディアと個人、この区分の基準は 76 点
- 予備審査
- 通過：AI用于数学形式化验证Signal加密
- 同じ出来事
採点はモデルが同じ基準で独立に二回行い、満点は 100。二回の合計が基準の 2 倍に届いたものだけが入選します。基準は情報源の区分ごとに決めています。
情報源：Ars Technica · AI · arstechnica.com