Skip to content
Only Research#Google
  1. The Decoder88

    Google DeepMind's AlphaProof Code verifies Signal's cryptographic core in four weeks instead of years

    Google DeepMind unveiled AlphaProof Code, an AI system that mathematically proves software meets its security specifications, and used it to verify the cryptographic core code running on Signal users' devices in four weeks, work that typically takes years. After experts defined formal security requirements, AI agents built on Gemini Carbon wrote over six million lines in the Lean proof language and flagged roughly one percent of the codebase for human review, catching two deliberately planted bugs immediately. Signal CTO Ehren Kret said the approach strengthens trust in data privacy as AI threats grow, and DeepMind plans to extend the method to power grids and medical devices through systems like CodeMender.

    Why it matters: DeepMind's AlphaProof Code verified Signal's real cryptographic code in four weeks, showing how AI agents can move formal verification from design documents to production software.

  1. Google DeepMind82

    Google DeepMind introduces AlphaProof Code, formally verifying Signal's cryptographic code

    Google DeepMind researchers used AlphaProof Code, a multi-LLM agentic framework, to formally verify key security properties of the actual code underlying the Signal protocol. Agents powered by Gemini Carbon generated over six million lines of Lean, and human experts reviewed only about one percent of the codebase; the verification took four weeks, a task that historically takes expert teams years. When two previously fixed bugs were reintroduced into an isolated version of Signal's code, the system produced machine-checked proofs that the buggy versions were insecure, and DeepMind is open-sourcing its formal verification artifacts.

    Why it matters: Google DeepMind's multi-agent framework formally verified Signal's deployed cryptographic code in four weeks, a task that historically takes expert teams years.

  1. Google Research72

    Google researchers detect hypertension signs with smartwatch PPG and accelerometer data, no cuff calibration needed

    Google Research published a Nature study on AI-PPG-ACC-HTN, a multimodal system that detects signs of hypertension from smartwatch PPG and accelerometer data without cuff calibration. Validated against 24-hour ambulatory blood pressure monitoring in 196 participants across five US sites, it reached 65.8% sensitivity and 90.0% specificity for initial screening, and 78.4% sensitivity and 90.9% specificity for confirmatory testing. The authors describe the work as early feasibility research, not a replacement for clinical arm cuffs or a standalone diagnosis.

    Why it matters: Google's cuffless smartwatch hypertension model is benchmarked against 24-hour ambulatory monitoring, showing how passive multi-day sensor aggregation could support opportunistic screening.

  1. Google Research71

    Google Research outlines VERID and closed-loop agent workflows for autonomous wet labs

    Google Research describes three projects aimed at grounding AI agents in real wet-lab experimentation, including the VERID framework, a semantic digital twin of a lab workcell built on the open-source PyLabRobot framework that tracks deck layout, well volumes and tip inventory and dry-runs protocols before execution.

    Why it matters: Google Research outlines three projects that connect AI agents to real wet-lab hardware, showing how simulated dry runs and closed-loop experiments let agents correct their own design rules.

You are all caught up