DeepMind’s AlphaProof Code Verifies Signal’s Cryptographic Core in Four Weeks
🤖 AI-generated content — The title and summary were produced automatically by artificial intelligence, without human editorial review.
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.
Continue in the app — vote & join in ➔Source: The Decoder (AI) · via ahirlevel.hu