AINewsnow

Google DeepMind's AlphaProof Code proved Signal's actual compiled code secure in 4 weeks, with humans reviewing only 1%

The part that got me is that this covers the implementation, not just the protocol design. Most protocol verification stops at the spec, and real bugs tend to live in the gap between spec and code. Gemini-powered agents wrote over six million lines of Lean proofs, Lean checked them, and human exper…

Read the full story at r/artificial ↗

Timeline · 1 report

  1. 2026-11-10 14:47 · r/artificial
    Google DeepMind's AlphaProof Code proved Signal's actual compiled code secure in 4 weeks, with humans reviewing only 1%

More stories

  1. Google releases Gemini 4 Carbon to developers and public after cyber defender preview — Google DeepMind Blog
  2. Google DeepMind's AI Formally Verifies Security of Signal Encryption Protocol — Google DeepMind Blog
  3. Google Cloud launches Gemini for healthcare to unify clinical data and automate workflows — Google Cloud AI Blog
  4. Google and Adobe partner to integrate creative tools with Google apps — Google AI Blog
  5. Gemini Robotics 2.5: Accelerating Physical Intelligence — Google DeepMind Blog
  6. Claude Code and Codex workflows converge as developers share setup and integration guides — DEV Community — AI
  7. RESAAS Announces Integration with Google Cloud, Connecting Proprietary Real Estate Data to Google's Gemini AI — The Globe and Mail
  8. Google Adds Maps Platform Integration to AI Studio for Location-Aware App Building — Google AI Blog

Get the daily brief of stories like this at 6:30 every morning →