TLDR AI 2026-08-13

CLAUDE'S CHROME SIDE PANEL BECOMES A FULL COWORK SESSION

Anthropic upgraded Claude in Chrome so the side panel now runs a full Claude Cowork session. Conversations save to your Claude account and resume on desktop, web, or mobile, and your existing skills and connectors work in the browser without setup.

INTRODUCING GROK 4.6

Grok 4.6 focuses on long-running agent tasks, matching GPT-5.6 Sol's performance on the Artificial Analysis Intelligence Index. It excels in turning product ideas into working versions and improving safety and capabilities for tasks like vulnerability patching and AI research. Available now in Cursor, Grok Build, and via API, Grok 4.6 offers 2x included usage for the first week.

DEEPSEEK PRICES ITS NEW V4-PRO-0813 MODEL AT $0.87 PER 1 MILLION OUTPUT TOKENS

DeepSeek-V4-Pro-0813 is now rolling out on the DeepSeek API and DeepSeek chat. The AI lab has priced the model at $0.435 per 1 million tokens of input and $0.87 per 1 million tokens of output. The model outcompetes Opus 4.8 on Terminal Bench 2.1, Cybergym, DeepSWE, and AutomationBench benchmarks. DeepSeek was second only to Anthropic in terms of the total number of tokens consumed in July.

QWEN3.8-2.4T-A95B

Qwen3.8, based on Qwen3.5's architecture, introduces advanced capabilities in coding and long-horizon tasks with improved agent execution for reliable task completion. It supports various deployment frameworks like SGLang and vLLM, offering robust integration with popular tools. The model's reasoning depth adjusts through reasoning_effort settings, enhancing performance in complex tasks.

NVIDIA IS SPEEDRUNNING THE CREATION OF A SYNTHETIC HYPERSCALER

A hyperscaler is a scaled infrastructure collective of CPUs, networking, and storage with a development platform on top. It pools and smooths the financial obligations of its users, and builds software that makes consumption of the underlying primitives simple by abstracting them away. Nvidia has built software and infrastructure that make it easy to install and run its hardware and also financing products to smooth utilization across a distributed fleet. The complaint that these platforms keep capital tethered to Nvidia and away from other ASICs/accelerators is a moat dressed up as a risk.

ENTERPRISE AI SHIFTS TOWARD EXECUTION

OpenAI published two studies showing enterprise AI use moving from assistance toward more delegated, agentic work. The highest-usage firms generated many times more output tokens per active user than typical firms and adopted connected tools and workflows more frequently.

BUILDING SAFER MCP SERVERS

This post outlines several ways to expose PostgreSQL through MCP, ranging from flexible agent-generated SQL to tightly constrained, typed query tools. The tradeoff is between agent flexibility and limiting access to only permitted database operations.

on it in production? After testing across eight dimensions

critical to enterprise MCP reliability (e.g., OAuth token lifecycle, large dataset behavior), CData found meaningful gaps. Expert guidance

helped, but not always. See where it broke

SPECULA: SCALING FORMAL SPECIFICATIONS FOR AUTONOMOUS MODEL CHECKING OF SYSTEM CODE

Specula is an agentic system that automates the process of software bug finding through authoring and model-checking a spec for the code. It derives TLA+ specifications automatically from the code, checks code-spec conformance through trace validation, model checks the spec to find concurrency bugs, and reproduces the bug at the code layer by writing integration tests with precise timing. This post looks at what Specula gets right, its major contributions, and unresolved questions about the terrain. Specula is a great pragmatic idea, and it works for what it does, but it still skirts the real hard problem of composition, so it cannot say anything about whether per-module guarantees add up to a system-level guarantee.

MICROSOFT LAUNCHES MAI-THINKING-1

Microsoft MAI-Thinking-1 is a medium-sized reasoning model aimed at cost-efficient enterprise workloads across coding, math, and knowledge tasks.

MAI-IMAGE-2.6 REACHES NO. 2 ON ARENA

Microsoft's MAI-Image-2.6 reached second place on the Arena text-to-image leaderboard.

HIRING AGENTS IS THE EASY PART

Agent adoption will be constrained less by capability than by verification: companies need systems that define quality, evaluate ongoing performance, and compound feedback. The hardest problems are tacit standards, company-specific evals, feedback ownership, permissions, liability, and self-improving learning loops.

GROK 4.6 – A FIELD GUIDE

Grok 4.6 stands out less for a single capability jump than for speed, dense communication, stronger polish, and reliable work across coding and knowledge tasks. The highest-leverage prompting pattern is short instructions plus explicit acceptance criteria and repeated self-verification.

and recorded expert sessions. Download free here

VIBE-CODING STARTUP LOVABLE HITS $13 BILLION VALUATION

The startup is on track to generate a revenue run rate of close to $600 million by the end of this month.

AS AI SAFETY CONCERNS MOUNT, THREE PIONEERS MAKE THE CASE FOR STAYING OPEN

AI researchers Geoffrey Hinton, Fei-Fei Li, and Andrew Ng advocate for keeping AI open to prevent a few large firms from monopolizing advancements.

HOW A THREE-PERSON TEAM SHIPS HUNDREDS OF PRS

This post describes Kenn Software's agent-assisted engineering workflow, where three developers merge hundreds of pull requests per week while maintaining a low production bug rate.

WHAT SORT OF MATHS ARE LLMS GOOD AT?

OpenAI's recent math announcement is extraordinarily impressive, but LLMs aren't better yet than all humans at all aspects of mathematics - if they were, then there would be much more of a flood of results.