Ars Technica · AI· Lily Hay Newman, wired.com·· 4 d ago
Google DeepMind just mathematically verified key parts of Signal
Google DeepMind just mathematically verified key parts of Signal
AI summary
The four-week project hints that AI could make formal verification far more practical.
Selection record
Threshold 76Media and individualsFirst 58Second 58
Not admittedSum of both 116 < twice the threshold 152
- Source tier
- Media and individuals; this tier's threshold is 76
- Pre-filter
- passed：AI用于数学形式化验证Signal加密
- Same event
A model scores each item twice, independently, against one written standard, out of 100. An item is admitted only when the two scores add up to twice the threshold. The threshold is set per source tier.
Source: Ars Technica · AI · arstechnica.com