How Rust, Lean, Aeneas, and AI agents are helping scale formal verification for production cryptographic algorithms At a glance SymCrypt develops new verified cryptography using Rust, Aeneas, and Lean to…
Climate and sustainability: Using weather satellites to monitor CO2 Regular observations of carbon dioxide (CO2) began at Hawaii’s Mauna Loa Observatory in the late 1950s, yielding the iconic Keeling Curve…
A scientific breakthrough reaches its full potential only when it empowers others to replicate and expand upon findings, pushing the boundaries of science even further. At Google Research, we recognize…
Table of contents Share Link copied! Copy failed! Most enterprises running AI automations at scale are paying for capability they don’t use. They’re running invoice…
Acknowledgements We’d like to thank our collaborators, listed on the authors’ list, who helped create ERA, as well as all the scientists who are among the early adopters. Algorithm development…
While video conferencing tools keep us connected, users can still struggle to feel included in the conversation. Trying to read subtle emotions in a sea of tiny boxes may leave…
Table of contents Share Link copied! Copy failed! As of this morning, March 5, 2026, the United States and Israel are on Day 6 of…
Across advanced economies, industries are facing a workforce transition unlike anything seen in decades. According to research from Deloitte and The Manufacturing Institute, more than 2.6 million workers are expected…
Improving core capabilities in Gemini We keep advancing foundational research for generative AI. In collaboration with Google DeepMind, our work in areas spanning factuality, multilinguality and efficiency helps to advance…
Google Antigravity 44. Google Antigravity is our agent-first development platform that allows anyone to be a builder. And today, Antigravity is massively expanding its suite of agentic capabilities, surfaces, integrations…
