AINewsnow

6.5M lines of Lean: I counted DeepMind's Signal proofs

6.5M lines of Lean: I counted DeepMind's Signal proofs DeepMind says AI agents wrote 6.5 million lines of Lean proving Signal's compiled code is secure. I cloned the repo and counted: 7,528,293 lines across 11,323 files — and the headline proofs contain zero sorry . What I actually did Google DeepM…

Read the full story at DEV Community — AI ↗

Timeline · 1 report

  1. 2026-11-11 00:45 · DEV Community — AI
    6.5M lines of Lean: I counted DeepMind's Signal proofs

More stories

  1. Google launches Gemini 4 Carbon across Copilot, API, and Ultra tiers — Google DeepMind Blog
  2. Google Cloud launches Gemini for healthcare in U.S. preview — Google Cloud AI Blog
  3. Google DeepMind's AlphaProof Code formally verifies Signal's encryption — Google DeepMind Blog
  4. Amazon and Google set for major windfalls from Anthropic IPO — Reuters AI
  5. Google and Adobe partner to integrate Acrobat and creative tools into Workspace apps — Google AI Blog
  6. Google adds TPU 8tx and 8i Max to eighth-generation AI chip lineup — Google: The Keyword
  7. Developers share workflows for running Claude Code and Codex side by side — r/ClaudeAI
  8. Google's Modern Web Guidance 1.0 formalizes cross-browser standards for AI coding agents — DEV Community — AI

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