4 articles

Google DeepMind

Index of editorial tags and filtered coverage.

Oct 13, 2026Google DeepMind

Science publishes AlphaProof Nexus, the Google DeepMind system that solved 9 Erdős problems with Lean-verified proofs

Science published Google DeepMind’s paper on AlphaProof Nexus on October 8, 2026, describing an agent framework that produces formal proofs verified in Lean and solved 9 of 353 attempted Erdős problems and 44 of 492 open OEIS conjectures.

Oct 7, 2026Google DeepMind

Google DeepMind launches EmbeddingGemma 2, an open 740-million-parameter model for on-device multimodal search

EmbeddingGemma 2, built on Gemma 4 and released under the Apache 2.0 license, unifies text, code, images, video and audio in a single 768-dimension vector space, quadruples context to 8,192 tokens and gains 9.92 points on MTEB Code, with modular setups starting at 270 million parameters.

Oct 6, 2026Google DeepMind

Google DeepMind unveils SynthID Bio, a watermark for AI-designed proteins

Google DeepMind introduced SynthID Bio, a method that embeds an invisible signal into AI-designed proteins during the design process itself, aiming to strengthen biosecurity; in lab tests the watermarked proteins performed just as well as unmarked ones.

Sep 30, 2026Google

Special: Gemini 4 Argon, Google's new frontier model

Google today announced Gemini 4 Argon, its new frontier model for complex software engineering, legal and financial work and cyber defense: up to 1 million output tokens (up from 64K), 77.9% on DeepSWE v1.1 and introductory pricing of $2 input and $10 output per million tokens. For now it is rolling out to cyber defenders in the Fairwind Program.