What comes next.
New releases, interesting ideas, and the developments that matter to builders.
The latest
100 articlesClaude Writes 180 Million Lines of Proofs to Verify 123 Open-Source Libraries
Anthropic's Frontier Red Team and Theorem used Claude to prove security properties in 123 open-source libraries at the RISC-V assembly level.
Read the news →NVIDIA Open-Sources OpenShell, a Runtime Boundary for Fleets of AI Agents
NVIDIA launched OpenShell, an open source secure runtime that traces agent actions and enforces policy below the harness, now broadly available with more than 100 partners.
Read the news →LiteLLM 1.107.0 on PyPI Shipped a Credential Stealer and Backdoor
LiteLLM 1.107.0 on PyPI shipped a credential stealer and remote code execution backdoor in every wheel, running on every Python start. The release was pulled within hours.
Read the news →Anthropic Opens Claude Duet, a Proactive Agent That Keeps Working While You Step Away
Anthropic opened a waitlist for Claude Duet, a proactive agent built on Opus 5.5 that works in the background, sends morning briefs, and asks before it acts.
Read the news →OpenAI Models and Codex Land on Google Cloud's Model Garden
OpenAI's frontier models and Codex agentic workflows are heading into Google Cloud's Model Garden, purchasable through Google Cloud Marketplace and payable with existing GCP commitments.
Read the news →Mistral's Voxtral 3 Turns Phone Calls Into Tool-Calling Voice Agents
Mistral's Voxtral 3 pairs 50+ language transcription, expressive text to speech and a real-time voice agent SDK, available via Mistral's EU-hosted API or self-deployment.
Read the news →DeepSeek Open-Sources DeepInfer, the Serving Stack Behind Its Own Models
DeepSeek published DeepInfer under Apache 2.0, the inference framework behind its production traffic, with support for Nvidia SM100 GPUs and Huawei Ascend 950 NPUs.
Read the news →CERN and Mistral Sign Statement of Intent to Build the First Large Physics Model
CERN and Mistral will jointly develop a foundation model for collider physics, trained on billions of simulated LHC collisions.
Read the news →Mistral Ships Timestral, Time-Series Foundation Models That Run on a CPU
Mistral released Timestral, its first time-series foundation model family, with 5M to 209M parameter sizes, state-of-the-art zero-shot forecasting, and CPU-only inference.
Read the news →DeepSeek Opens Standalone Search and Fetch APIs for Agents
DeepSeek has opened its in-house search engine to developers, selling Search and Fetch as standalone JSON endpoints at USD 0.75 per 1,000 successful calls.
Read the news →DeepSeek Opens Weights for V4.1-Flash-1017
DeepSeek open-sourced V4.1-Flash-1017 with stronger benchmarks, faster task completion and shorter outputs, publishing weights on Hugging Face and ModelScope.
Read the news →OpenCode Discloses Breach Tied to Large-Scale Distillation Attack
OpenCode says a large-scale distillation attack hit its Console, exposing third-party provider API keys for 1.4% of Console users who had linked OpenAI, Anthropic, or Google accounts.
Read the news →