Google Deepmind

Gemini Robotics 2.5 is DeepMind's new vision-language-action model: higher success on 200+ tasks, a 96% car-factory kitting result, and a rollout to partners.

Google DeepMind's AI agents wrote over six million lines of Lean to prove security properties of Signal's actual protocol code in four weeks. What it means.