← Azimuth Daily
Capturing data…
Capturing data…
THU, 12 NOV · 87 ITEMS
"DeepMind introduces AlphaProof Code for formal verification" — Hacker News (best) · AI & Technology
Google DeepMind has released AlphaProof Code, an AI agent framework that automates of software at the machine-code level. In a landmark demonstration, it generated three million lines of mathematical proofs to verify core cryptographic properties of Signal's protocol—specifically and the —against the actual compiled , not just high-level specifications.
The claim is highly solid: it comes directly from Google DeepMind's official blog post and accompanying technical paper (a primary source). Multiple secondary news outlets confirm the same specifics, including the 3-million-line proof count and the verification target (Signal's encryption down to ARM machine code).
Genuinely new: the announcement and paper were published one day ago.