™Daily Brief · Nov 13
2026.11.13 Friday
12 AI stories worth your time, each with one line on why it matters.
ListenNov 13 · 12 stories
In this issue
Nov 13 · 12 stories-
Anthropic Opens Self-Hosted Claude Managed Agents in Private Beta
Anthropic announced on Nov 12 that self-hosted Claude Managed Agents entered private beta, letting enterprises run the full agent service on their own cloud or on-premises; model calls still go to Anthropic or a provide…
Why it mattersThe agent service's harness and session data can now stay entirely inside an enterprise's own infrastructure, with the customer choosing where model calls go.
-
DeepMind Formally Verifies Signal's Crypto Protocol With 6.5M Lines of Proof
Google DeepMind introduced AlphaProof Code on Nov 10, using Gemini Carbon agents to formally verify Signal's compiled crypto code in four weeks, producing about 6.5 million lines of Lean proof.
Why it mattersWork that historically took expert teams years finished in four weeks on deployed code rather than design documents; the verification covers one-to-one sessions only, not group ch…
-
Thinking Machines Opens Inkling 2 Small Weights: 594B Parameters Under Apache 2.0
Thinking Machines Lab released the full Inkling 2 Small checkpoint on Hugging Face on Nov 12 under Apache 2.0, including for commercial use; the 594B-parameter model activates 17B per token.
Why it mattersA US lab has opened the full weights of a 594B-class flagship model for the first time, letting developers download, fine-tune and self-host it, and in Bito's benchmark it is the…
-
Nonprofits Sue Five AI Giants, Seeking a Halt to Frontier Model Development
A group of nonprofits sued OpenAI, Anthropic, SpaceX's AI division, Meta and Alphabet's Google in San Francisco on Nov 12, asking a court to bar the five companies from developing their most advanced AI models.
Why it mattersThe lawsuit targets all five frontier AI companies at once, asking a court to bar further development of the most advanced models, including ChatGPT, Gemini and Claude.
-
Google Launches Gemini 4 Hydrogen: 2.5x Faster Than 3.8 Flash, Now in Search Worldwide
Google launched Gemini 4 Hydrogen on Nov 12, rolling out the same day across the Gemini app, API, AI Studio and Google Search, 2.5 times faster than 3.8 Flash.
Why it mattersGoogle calls it the biggest model upgrade to Search yet, bringing Gemini 4 to every user tier.
-
Runway Open-Sources Robot Model Praxis-1: 27B Parameters Under Apache 2.0
Runway opened Praxis-1's weights and fine-tuning code on Nov 11 under Apache 2.0, including for commercial use; the 27B model hits 46.2% on RoboLab-120.
Why it mattersOpen weights plus full fine-tuning code let small teams adapt a robot model on their own hardware, adding another reproducible open implementation of video pretraining for robot c…
Follow HIMIAO Horizon
No sign-up · Unsubscribe any timeNotifications
A ping on your phone or computer when the brief is out. No email needed.
