Google DeepMind

Show HN: ProofForge, AI agents whose proofs have to compile in LeanSep 26, 2026 · ProductUpdate → We Should Be Able to Change Our LanguagesSep 22, 2026 · ProductLaunch → v0.30.0Sep 22, 2026 · ModelRelease → New experts join Google’s AI & Economy teamSep 17, 2026 · Partnership → Building AI to accelerate science and improve livesSep 14, 2026 · Funding → 3 ways to prep for your next big race with SearchSep 9, 2026 · Other → Proactive cyber defense for governments and enterprisesSep 1, 2026 · SecurityIncident → 3 new ways to plan and book travel in SearchAug 25, 2026 · PolicyChange → 5 new ways to level up your learning with SearchAug 17, 2026 · Partnership → Release v5.13.0Jul 3, 2026 · ModelRelease → Hugging Face and Cerebras bring Gemma 4 to real-time voice AIJul 1, 2026 · Partnership → Granite 4.1 LLMs: How They’re BuiltApr 29, 2026 · OpenSourceRelease → Welcome Gemma 4: Frontier multimodal intelligence on deviceApr 2, 2026 · ProductUpdate →