#AlphaProof
LightNews LightNews
gusthema.bsky.social
Formal verification used to take teams years. AlphaProof Code did the Signal cryptographic protocol in 4 weeks 🔍🚀

Gemini Carbon agents generated ~6.5M lines of Lean proofs, leaving ~1% for human review:
https://deepmind.google/blog/introducing-alphaproof-code/
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
AlphaProof Code agents wrote over three million lines of machine-checked proof in Lean to verify the core cryptographic protections in Signal down to machine instructions.
deepmind.google
November 13, 2026 at 3:00 PM
gigazine.net
Google DeepMindがAIでコードを検証する「AlphaProof Code」を使ってSignalプロトコルの安全性の形式的検証に成功
https://gigazine.net/news/20261111-google-deepmind-alphaproof-code-verification/
Google DeepMindがAIでコードを検証する「AlphaProof Code」を使ってSignalプロトコルの安全性の形式的検証に成功
Google DeepMindがソフトウェアの検証を行うためのマルチエージェントAIフレームワーク「AlphaProof Code」を発表しました。研究チームはAlphaProof Codeを用いて、Googleメッセージなどの暗号通信に使用されている「Signalプロトコル」が十分なセキュリティ保護機能を備えていることを数学的に証明することに成功しています。
gigazine.net
November 11, 2026 at 7:05 AM
youshenlim.bsky.social
Google DeepMind's AlphaProof Code wrote 3 million lines of formal proofs to verify Signal's core encryption. AI agents now automate verification work that previously required years of expert effort. This is a watershed moment for software security and correctness.
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
deepmind.google
November 14, 2026 at 7:40 PM
frankel.ch
Introducing #AlphaProof Code: a breakthrough in verifying complex software at depth

https://deepmind.google/...

#formalverification #google
November 12, 2026 at 9:11 AM
rechelon.bsky.social
Mathematical proof of the security of Signal -- not just the protocol but the compiled code:

deepmind.google/blog/introdu...
Formal Verification of Signal’s Protocol with Gemini
AlphaProof Code agents wrote over three million lines of machine-checked proof in Lean to verify the core cryptographic protections in Signal down to machine instructions.
deepmind.google
November 11, 2026 at 6:55 PM
pillai.wsocial.eu
Google DeepMind’s AlphaProof Code uses multiple AI agents with human experts to formally verify properties of Signal’s implementation. The notable shift: AI helping check software at machine-code level, where independent verification matters. #AIResearch deepmind.google/blog/introdu...
November 15, 2026 at 2:02 PM
mm-hacker-news.bsky.social
AlphaProof Code
https://deepmind.google/blog/introducing-alphaproof-code/
November 12, 2026 at 8:33 AM
frankel.wsocial.eu
Introducing #AlphaProof Code: a breakthrough in verifying complex software at depth

https://deepmind.google/...

#formalverification #google
November 12, 2026 at 9:11 AM
dirty-static.bsky.social
DeepMind Verifies Signal Protocol With AlphaProof Code
DeepMind agents proved Signal core code secure at machine level in four weeks.
https://dirtystatic.com/articles/deepmind-verifies-signal-protocol-with-alphaproof-code/
#AI #CyberSecurity #Signal
November 11, 2026 at 1:32 PM
pondero-ai.bsky.social
Full breakdown 👇

https://pondero.ai/news/2026-11-12-deepmind-alphaproof-code-signal/?utm_source=bluesky&utm_medium=social&utm_campaign=daily-7c5ee69009c247e9eba3844a62d709be

#AINews #TechNews #LLM
DeepMind's AlphaProof Code mathematically verifies Signal's encryption in four weeks
Google DeepMind used AI agents to formally verify the actual production code behind Signal
pondero.ai
November 12, 2026 at 1:16 PM
twal.org
Glad to see my framework Bob DyLean (joint work with @cascremers.bsky.social) -- to perform symbolic analysis of cryptographic protocols in Lean -- being featured in Google DeepMind's latest announcement :)
AlphaProof Code: Verifying Signal’s Security at the Machine-Code Level
google-deepmind.github.io
November 11, 2026 at 8:55 AM
timkellogg.me
Gemini Carbon verified key aspects of the Signal protocol (encrypted chat), demonstrating the use of LLMs as a force multiplier in security

note that this wasn’t simply a formal verification of the protocol, they also verified the *machine code*

deepmind.google/blog/introdu...
Formal Verification of Signal’s Protocol with Gemini
AlphaProof Code agents wrote over three million lines of machine-checked proof in Lean to verify the core cryptographic protections in Signal down to machine instructions.
deepmind.google
November 10, 2026 at 1:01 PM
aleph1.underground.org
DeepMind formally verified the code of Signal’s cryptographic protocol using a new AlphaProof Code agent framework.
Formal Verification of Signal’s Protocol with Gemini
AlphaProof Code agents wrote over three million lines of machine-checked proof in Lean to verify the core cryptographic protections in Signal down to machine instructions.
deepmind.google
November 10, 2026 at 1:13 PM
gihyo.jp
ニュース「Google DeepMind、AlphaProof Codeを発表 ——Signalプロトコルの実装を機械語レベルで形式検証」公開 gihyo.jp/article/2026...
Google DeepMind、AlphaProof Codeを発表 ——Signalプロトコルの実装を機械語レベルで形式検証 | gihyo.jp
Google DeepMindは2026年11月10日、人間の専門家とAIエージェントが協力してソフトウェアを形式検証するフレームワーク「AlphaProof Code」を発表した。研究チームは、エンドツーエンド暗号化通信に使われるSignalプロトコルの参照実装libsignalに、この仕組みを適用した。
gihyo.jp
November 13, 2026 at 2:20 AM
dragstersystems.bsky.social
AlphaProof Code: verificación formal y matemática de la seguridad de un software

Vía: @seguinfo.bsky.social
AlphaProof Code: verificación formal y matemática de la seguridad de un software
blog.segu-info.com.ar
November 14, 2026 at 2:36 AM
swallez.com
Oh wow. DeepMind has published a formal verification of the Signal protocol, and for that they have used DyLean, a formal verification framework for cryptographic protocols developed by… my son @twal.org as part of his recent postdoc work 🤯 #ProudDad google-deepmind.github.io/code-verific...
AlphaProof Code: Verifying Signal’s Security at the Machine-Code Level
google-deepmind.github.io
November 10, 2026 at 6:04 PM
knoike.bsky.social
| Google DeepMindがAIでコードを検証する「AlphaProof Code」を使ってSignalプロトコルの安全性の形式的検証に成功 - GIGAZINE
gigazine.net/news/2026111...
Google DeepMindがAIでコードを検証する「AlphaProof Code」を使ってSignalプロトコルの安全性の形式的検証に成功
Google DeepMindがソフトウェアの検証を行うためのマルチエージェントAIフレームワーク「AlphaProof Code」を発表しました。研究チームはAlphaProof Codeを用いて、Googleメッセージなどの暗号通信に使用されている「Signalプロトコル」が十分なセキュリティ保護機能を備えていることを数学的に証明することに成功しています。
gigazine.net
November 12, 2026 at 11:24 PM
allaboutsecurity.bsky.social
AlphaProof Code verifiziert den Kerncode des Signal-Protokolls formal

www.all-about-security.de/alphaproof-c...
AlphaProof Code verifiziert den Kerncode des Signal-Protokolls formal für mehr Sicherheit
Google DeepMind hat mit AlphaProof Code den Signal-Protokoll-Kerncode erfolgreich formal verifiziert. Mehr dazu hier!
www.all-about-security.de
November 12, 2026 at 11:01 AM
techmeme.com
Google DeepMind researchers used agentic AI framework AlphaProof Code to verify the Signal protocol's cryptographic guarantees, in a four-week proof-of-concept (Lily Hay Newman/Wired)

Main Link | Techmeme Permalink
November 10, 2026 at 11:56 AM
mm-hacker-news.bsky.social
AlphaProof Code
https://deepmind.google/blog/introducing-alphaproof-code/
November 11, 2026 at 8:33 AM
future-shock.ai
DeepMind's agents wrote proofs of key security properties in Signal's compiled code. Lean checks the proofs, but people still have to judge whether the specifications promise the right protections.

https://deepmind.google/blog/introducing-alphaproof-code/
Introducing AlphaProof Code
AI-written, machine-checked proofs of key security properties in Signal's compiled code, with human-reviewed specifications.
deepmind.google
November 12, 2026 at 6:32 PM
matusita.bsky.social
いまさら知ったんですが

Introducing AlphaProof Code: a breakthrough in verifying complex software at depth
https://deepmind.google/blog/introducing-alphaproof-code/

ひねくれたら「まぁ、そうでしょうね」くらいの案件なんでしょうけど、形式仕様の領域で計算機が真面目に動く時代になれば、仕様だけじゃなくそこからコード作ればいいじゃん、って当然なる、よね。

これ、コンサル業者の出る幕どこにいくんやろか。要求周りはきっと残るんだろうけど。
Introducing AlphaProof Code: a breakthrough in verifying complex software at depth — Google DeepMind
AlphaProof Code agents wrote over three million lines of machine-checked proof in Lean to verify the core cryptographic protections in Signal down to machine instructions.
deepmind.google
November 13, 2026 at 4:59 AM
hacker-news.bsky.social
AlphaProof Code [Discussion]
AlphaProof Code
AlphaProof Code
deepmind.google
November 10, 2026 at 1:52 PM
pillai.wsocial.eu
Google DeepMind’s AlphaProof Code work on Signal points to a promising pattern: AI agents help build formal proofs, while Lean’s trusted kernel checks them against a human-reviewed spec. The model can be fallible; the verifier must be dependable. #AIresearch
November 13, 2026 at 9:27 PM
xenospectrum.com
deepmind-alphaproof-code-signal-verification

https://xenospectrum.com/deepmind-alphaproof-code-signal-verification/
deepmind-alphaproof-code-signal-verification
xenospectrum.com
November 11, 2026 at 12:54 AM