Google DeepMind’s AlphaProof Code verified Signal’s deployed cryptographic core in four weeks, a task that typically takes years. Gemini Carbon agents produced more than six million lines of Lean proofs, referred about 1% for human review and immediately detected two deliberately planted bugs.