Google DeepMind just mathematically verified key parts of Signal
Source: Ars Technica (opens in a new tab) · Lily Hay Newman, wired.com
Intel Summary
Ars Technica reports that Google DeepMind completed a four-week project using AI to mathematically verify key components of the Signal messaging application, demonstrating that AI tools can assist in formal verification of critical software.
Why It Matters
Formal verification has traditionally been too resource-intensive for widespread software security use. Applying AI to mathematical proofs could lower the cost and time barrier for verifying critical cryptographic protocols and secure systems.
Organizations & Entities
Topics
Related Intelligence
- ReportAlso involving Google DeepMind
Google joins the decision-model wave with Gemini Decision 1, scoring 1,000 questions in a single pass
Google DeepMind has introduced the Gemini Decisions API and its Gemini Decision 1 model, designed to process up to 1,000 closed-ended queries in a single pass across text, image, audio, and video inputs. According to Google, the system returns outputs within 150 to 250 milliseconds and reduces operational costs roughly fivefold compared to Gemini 3.5 Flash-Lite.
The Decoder - ReportAlso involving Google DeepMind
Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
Google DeepMind used its AlphaProof Code system to mathematically verify Signal's cryptographic core code in four weeks, compressing a process that typically requires years. AI agents powered by Gemini Carbon generated over six million lines of formal proof code, requiring human review for approximately one percent of the output. DeepMind stated plans to apply this automated verification methodology to critical infrastructure software, including power grids and medical devices.
The Decoder - DevelopmentNewAlso involving Google DeepMind
Google DeepMind introduced Gemini Decision 1 model and API
Google DeepMind has introduced the Gemini Decisions API and its Gemini Decision 1 model, designed to process up to 1,000 closed-ended queries in a single pass across text, image, audio, and video inputs. According to Google, the system returns outputs within 150 to 250 milliseconds and reduces operational costs roughly fivefold compared to Gemini 3.5 Flash-Lite. Claims are as reported; this summary makes no determination about accuracy or significance.
- DevelopmentNewAlso involving Google DeepMind
Google DeepMind verified Signal Protocol security using AI tool
Google DeepMind researchers have used a new AI tool to formally verify the security of the widely used Signal Protocol encryption. Claims are as reported; this summary makes no determination about accuracy or significance.