#DeepMind
ITHome · AI
ITHome · AI Google DeepMind used AI to complete the formal verification of the Signal protocol, mathematically proving its end-to-end encryption reliability.
Google DeepMind used AI to complete the formal verification of the Signal protocol, mathematically proving its end-to-end encryption reliability. The analysis process took about four weeks, but the specific scale of computational resources was not disclosed, and it is currently unclear about the practical feasibility of applying the technology on a larger scale.
The DecoderSame story · 2 outletsDeepMind Genie 4 Released: Exploring the Frontier of Modern Intelligent Agent Design
DeepMind has released Genie 4, the company's first real-time voice-generating instant world model, where users can move scenes with the keyboard and guide events with text prompts. Genie 4 is built on the video model Gemini Omni and is planned and simulated in the background by the Gemini large model family, supporting background sound effects, character dialogues, and real-time interaction. It is currently only available to selected testers and will be opened to Google AI Ultra subscribers in the future, integrating SynthID watermarking to mark AI-generated content.
Same story · 2 outletsHow the accounts differ:The Verge states the model supports up to two minutes of scenes, while Ars Technica and TechCrunch mention improvements in physics and character simulation but do not specify the scene duration.
Ars Technica · AIFeaturedSame story · 2 outlets7878DeepMind releases Genie 4 world model, claims physics and character simulation are more realistic
Google DeepMind announced the Genie 4 world model, claiming it outperforms Genie 3 in almost every aspect, with more realistic physics simulations and character representations. Some improvements come from Google's updated Gemini model.
Same story · 2 outletsHow the accounts differ:The Verge states the model supports up to two minutes of scenes, while Ars Technica and TechCrunch mention improvements in physics and character simulation but do not specify the scene duration.
Google DeepMindGoogle DeepMind has launched the Gemini 3.8 Live and Gemini 3.8 Live Extended Thinking large language models.
Google DeepMind has launched the Gemini 3.8 Live and Gemini 3.8 Live Extended Thinking large language models, with the former designed specifically for scale and cost-effectiveness.


