NewA calmer, faster ZeroHour — security assessments on articles, story timelines and search from any page.

#alphaproof-code

2 stories this week · 2 this month · 2 in 6 months · mostly AI

Stories per day · 30 days

Relatedcryptography2 formal-verification2 signal2 gemini-carbon1 google-deepmind1 lean1

1 stories, newest first · one card per story

Google DeepMind15h ago

DeepMind uses AlphaProof Code to formally verify Signal's protocol

Gemini Carbon agents produced over six million lines of Lean in four weeks and flagged two reintroduced bugs.

3 sources4 min readformal-verification signal