WEEK OF AUG 8 – 14, 2026

Four frontier releases in four days — and one proof you can actually check

Google, xAI, Meta and DeepSeek shipped into the developer tier while Anthropic moved a 167-year-old math bound and OpenAI made cyber capability a gated product.

The cheap-workhorse model moved again this week. Then it moved again. The useful competition is no longer just intelligence: it is price, context, harness compatibility and whether you can run the thing locally.

Off the leaderboard, Anthropic’s Riemann result was the week’s most consequential research because the proof is public and checkable.

THU · Aug 13, 2026ModelsPricing

Google ships Gemini 3.7 Flash at half the price

Gemini 3.7 Flash arrived three weeks after 3.6 with large gains on coding evals: FrontierCode 43.6% versus 34.4%, DeepSWE 65.3% versus 49%, and WebDev Arena Elo 1588 versus 1538. Its introductory price was half the previous Flash tier.

The release hit 939 points on Hacker News, a good proxy for the developer attention this slot now commands.

Gemini 3.7 Flash announcement
Google

WHY IT MATTERS

The cheap workhorse moved on both axes at once: capability and cost. If you pay per token for an agent harness, this should be in your next baseline comparison.

WED · Aug 12, 2026ModelsAgents

Grok 4.6 ties GPT-5.6 Sol on the third-party index

xAI released Grok 4.6 with a 500K context window and a $2/$6 per-million-token API price. It improved on Terminal-Bench, APEX-Agents, CursorBench and DeepSWE after a longer supplemental training run using model-generated reasoning data and agentic RL.

It is live in Cursor, Grok Build, OpenRouter, Vercel and Cloudflare — a distribution advantage that matters as much as the score.

WHY IT MATTERS

The mid-price agent tier is crowded enough that switching cost, harness compatibility and cache behavior matter more than a couple of leaderboard points.

TUE · Aug 11, 2026AgentsProducts

xAI opens Grok Bot in beta — always-on agents for everyone else

xAI opened Grok Bot in beta on 11 August for SuperGrok subscribers on desktop and iOS, with Windows and Linux builds out and Android promised. The framing is deliberately not a chatbot: each Bot gets its own cloud computer, signs into the tools and sites you already use, and carries a job to the end, returning only when something needs approval. The launch post's own line is that there is a huge difference between 90% done and 100% done.

It arrives through an unusual corporate route — a SpaceX rollup that folded xAI and Cursor into one company — and rides distribution rather than novelty: Grok was already reported at roughly 117 million monthly active users in March 2026.

Grok Bot announcement
xAI

WHY IT MATTERS

Agent work has been a developer story all year; this is the consumer version, and what it sells is completion rather than conversation. If you build agents, this is the behaviour your users will now expect — persistent, tool-connected, and quiet until it needs you.

MON · Aug 10, 2026Open weightsLocal inference

Meta open-weights a 30B agent model for one consumer GPU

Meta released Muse Glimmer under Apache 2.0, optimized for always-on local agents, function calling, coding and judge workflows. The three-phase recipe used teacher-logit distillation, longer-context agent data, SFT, on-policy distillation and RL.

Weights landed with developer docs and integrations for llama.cpp, MLX and ExecuTorch. A 30B agent model that runs locally changes the privacy and latency calculus for personal tooling.

WHY IT MATTERS

Meta’s distillation recipe is directly reusable: a large teacher can become a laptop-sized agent without giving up the function-calling interface developers actually need.

MON · Aug 10, 2026ResearchVerification

An unreleased Claude raises the Riemann bound from 41.6% to 67.2%

Anthropic reported an unreleased Claude combining results from separate papers to raise the proven lower bound on zeta zeros on the critical line from 41.6% to 67.2%. Claude also produced a publicly checkable Lean 4 proof; it did not prove the Riemann hypothesis.

Secondary reporting described roughly 36 hours of autonomous work across 60 subagents and 650 failed ideas. The important artifact is not the number, it is the formalization.

Anthropic mathematics research
Anthropic

WHY IT MATTERS

Long-horizon search is starting to move mathematics, not just benchmark scores. A Lean artifact lets anyone verify the claim instead of trusting a leaderboard.