Google's Gemini Hits 1B Monthly Users

Google DeepMind has released AlphaGenome 2, an AI model that predicts how DNA changes affect different cell types, advancing understanding of disease mechanisms at the cellular level. The model builds on last year's AlphaGenome by providing more detailed insights into gene expression patterns across diverse cell types. This capability could help researchers identify disease causes and develop targeted treatments.

Google DeepMind has released Gemini Robotics 2.5, an updated vision-language-action model designed to improve robot dexterity, reliability, and safety in physical tasks. The model represents an advancement in enabling robots to perform complex real-world manipulation with greater precision and dependability. The release signals continued progress in translating large language models into embodied AI systems capable of autonomous physical work.

Google DeepMind's AlphaProof Code agents generated three million lines of formal proofs in the Lean programming language to verify Signal's core encryption. The work demonstrates AI capability in producing machine-verifiable code correctness at scale. This represents a shift toward automated formal verification of security-critical software.

AT&T has integrated its Connected Life smart home security system with Google's Gemini for Home, marking what the company claims is the first home security product to work with Google Home Premium. The integration enables Gemini-powered features including detailed event summaries from security cameras, natural language video search, and the ability to ask questions like 'What dug up the yard last night?' to retrieve relevant footage.