Google DeepMind Rolls Out Gemini Omni 1.2 Flash for Longer Video Generation
Google DeepMind is rolling out Gemini Omni 1.2 Flash across the Gemini API and Gemini for business, with native video generation and editing for clips up to 15 seconds, compared with 10 seconds in Omni 1.1. The post says the price is 30% lower than Omni 1.1, at $0.07 per second for 720p video, and describes improved reference adherence, conversational editing, speech, and consistency.
Model releases and updates
OpenAI Introduces GPT-6 Cyber for Authorized Vulnerability Research
OpenAI introduces GPT-6 Cyber, a cybersecurity model for finding exploitable vulnerabilities and developing fixes. The company says it was trained to stay within authorized scope.
NVIDIA Adds Four Open-Weight Checkpoints to Cosmos 3 for Interactive Simulation
NVIDIA has added four open-weight checkpoints to its Cosmos 3 model family for interactive world simulation and multi-sensor driving scenes. The 16B-parameter post-trained models cover multi-view driving data, streaming camera and LiDAR observations, simulator-control-to-video generation, and video prediction from robot or camera actions. They use OpenMDW1.1, which permits commercial and non-commercial use under its terms.
The Decoder
Tencent Releases Hy4 With Image Understanding and Computer Use
Tencent has released Hy4, adding image understanding and software control to its language model; its weights are planned for release later, on an unspecified date. Tencent reports gains on finance and research tasks, while Artificial Analysis scores Hy4 at 35 on its Intelligence Index and finds it makes up unknown answers 89 percent of the time in its AA-Omniscience test. Tencent says Hy4 still trails leading commercial models on advanced math, longer coding projects, and complex image analysis.
Product releases and updates
A Closer Look at Phonon TTS and Its On-Device Benchmarks
Hugging Face reviews Phonon, its text-to-speech model for on-device use, two weeks after opening it up. The post describes its five supported languages, licensing, demos, and integrations, and reports that Phonon ranks first in German and Spanish intelligibility and in the top three in every evaluated language on Hugging Face’s Open TTS Leaderboard. It also outlines the ptts inference framework and the Transformers implementation.
Mistral Studio Adds Managed Agents, Workflows, and Enterprise Apps
Mistral AI is expanding Mistral Studio with managed agents and apps, plus new workflow, enterprise context, observability, and evaluation capabilities. Developers can connect agents, workflows, and apps to enterprise data and systems, then deploy them in cloud, VPC, or on-premises environments. The release also describes examples including incident investigation and workflow routing, with the product operations workflow saving about 35 hours a week.
Microsoft Research Shows How PDD Kit Formally Verifies Agent-Written Web Apps
Microsoft Research presents PDD Kit, a research prototype that turns reviewed intent into Verus specifications and checks agent-written Rust code against them, using tests for behavior outside the proof. In a roughly 5,000-line Pet Store app, the team formally verified the login logic and tested trusted components such as database lookups and password checking. PDD Kit currently verifies Rust, and the post describes its trusted assumptions and limits.
OpenAI Introduces Images 2.6 for ChatGPT, Codex, and the API
OpenAI introduces Images 2.6, bringing faster image generation, GIF creation, more precise editing, and new API controls across ChatGPT, Codex, and the API.
vLLM · XvLLM Adds Day-One Support for Baidu’s ERNIE 5.5 Flash Base
vLLM announces day-one support for Baidu’s ERNIE 5.5 Flash Base, an open base model with 280B total parameters and 14B active per token. The post reports 82.3% HumanEval+ and 40.1% LiveCodeBench pass@1 in 1-shot evaluations, compared with 69.5% and 31.9% for DeepSeek-V4-Flash-Base under the same setup. It describes serving with Baidu’s vLLM-ERNIE plugin on vLLM 0.32.0 and links to the model weights and recipe.
Cursor · XCursor Adds Live App Building and Link Sharing
Cursor says users can now build live apps and share them by link. Users describe a tool, and Cursor builds it, sets up a database, runs deterministic and agentic security checks, and deploys it.
Industry
TechCrunch · AI
Axiom Math Formally Verifies the Stacks Project with AI Agents
Axiom Math says it has formally verified the Stacks Project, an open-source mathematics reference started by Johan de Jong in 2005. The company’s agents translated roughly 7,654 pages into about 16 million lines of Lean code, checked line by line by a proof assistant. Axiom says the verified results give researchers a foundation for future work in algebraic geometry and could also support software built by AI agents.
Research
The DecoderOpenAI’s GPT-6 Astra Underperformed on Safety Research Tasks
The Decoder reports that OpenAI’s GPT-6 Astra completed about 10 percent of evaluation criteria when identical coding tasks were framed as safety research, compared with 16 percent under general AI research framing. OpenAI researchers traced the gap to training factors, including a dataset whose removal eliminated it in Astra, though the same dataset did not reproduce the issue in other models. OpenAI says it is working on better evaluations and monitoring.
Tomorrow at 08:00, a briefing like this arrives in your inbox.
The same kind of briefing as the one above: a few stories worth reading. Free. Mail starts after you confirm, and every letter has a one-click unsubscribe. Read a past issue · 2026-11-05