Frontier models advance rapidly as Google ships Gemini 4 Carbon and DeepMind unveils Genie 4.
The past 24 hours brought major releases spanning frontier reasoning, open-source speech AI, world simulation models, and formal mathematical verification artifacts.
Google launches Gemini 4 Carbon frontier model
SourceProvides developers with a new benchmark-leading frontier model optimized for coding, agentic workflows, and cybersecurity.
Nvidia releases Nemotron 3.5 Transcribe and Granary v2 dataset
SourceOffers an open-weight, adaptable model and pipeline to build cost-effective, custom multilingual speech applications with domain jargon.
Google DeepMind unveils Genie 4 interactive world model
SourceEnables natural-language controllable simulations with physics and audio, opening up new environments for agent and robotics evaluation.
OpenAI releases AI-generated formal proof artifacts in Lean
SourceValidates using LLMs for verifiable mathematical discovery, offering a pattern for teams looking to integrate formal verification into research products.
Get tomorrow's digest the moment it ships.