Skip to main content
Workflows Library MCP Directory Realtime AI News Sponsor Tier Subscribe
Live intelligence/August 26, 2026
Now reading

The latest dispatches

All news
Breaking Signal

Latest AI News & Model Launches

View news hub
Production Blueprints

Production AI Workflows & Agent Systems

View workflows library
Model Context Protocol

FastMCP Servers & Agent Connectors

View MCP directory
Selected by the desk

Worth your attention

01 / BUILD AI Workflows Blueprints for moving from idea to automation. Explore ↗ 02 / CONNECT MCP Directory Tools and server guides for capable agents. Browse ↗ 03 / KNOW AI News What changed, why it matters, and what to do next. Catch up ↗
From the archive

More to explore

Deep Dive AI Tools

Build a Lean 4 MCP Server for Formal-Verification Agents

Anthropic's unreleased frontier model tested 650 ideas across 60 subagents (31M tokens) on the Riemann Hypothesis — and the confirmed findings were formalized in Lean, making Lean the emerging proof-of-correctness gate for both math and AI code. This dispatch builds lean-mcp, a FastMCP Python server exposing five tools — check_lemma, compile_project, list_theorems, propose_tactic, check_import — with inputSchema, mcpServers config, and a localhost transport secured by OAuth 2.0-scoped registry tokens.

Deepak Bagada Deepak Bagada
9m read
Deep Dive LLMs

OpenAI Ultrafast: 750 Tokens/s Ends the Fast-vs-Smart Tradeoff

On August 13, 2026, OpenAI previewed Ultrafast, a serving tier that streams GPT-5.6 Sol at up to 750 output tokens per second on Cerebras wafer-scale engines, with up to 14x the throughput of the Standard tier. Cerebras-reported benchmarks put it ~11x faster than Claude Fable 5 and ~5x faster than Claude Opus 4.8 Fast, with a 5.6x end-to-end speedup on GDP-Val. We break down the latency-budget math of multi-hop agent loops, the ROI for support and incident-response agents, and the API code for benchmarking the new service tier. All figures are vendor-reported preview data.

Deepak Bagada Deepak Bagada
10m read
Deep Dive LLMs

Nemotron 4 & NeMo Switchyard: Nvidia's Open-Model Router Play

Nvidia released Nemotron 3.5 Lightning, a 30B-A3B MoE open model that is roughly 4x faster at output and 30% faster at agentic task completion, and open-sourced NeMo Switchyard, a routing library that picks the optimal model per request. Nvidia reports a Switchyard-routed stack cuts completion cost to about a third of running Claude Opus 4.8 alone; partners report 21% lower latency (Boomi), 58% lower cost (Ramp), and 74% lower cost at a 6% accuracy tradeoff (LangChain). Meanwhile Nemotron 4, a 1T+ parameter flagship, is in training with a ~$7B cloud-compute budget through FY2028. We map the family, model the routed unit economics, and show a routing-policy implementation.

Deepak Bagada Deepak Bagada
10m read
Deep Dive LLMs

Riemann Agent: 60 Subagents, 31M Tokens, Lean-Gated Proof

An unreleased Anthropic model made significant — not complete — progress on the Riemann Hypothesis by testing 650 ideas across 60 parallel subagents over 31 million tokens, with findings confirmed by in-house mathematicians and formalized in Lean. The run is a blueprint for research agents that don't hallucinate proofs: an idea registry prevents duplicate exploration, and a Lean formalization gate means hypotheses only count if they compile. We diagram the fan-out pipeline, stage by stage, and price the token economics from roughly $12k to $62k depending on routing. This is progress, not a proof, and the article is precise about that.

Deepak Bagada Deepak Bagada
9m read
Deep Dive Coding

SpaceX Closes $60B Cursor Deal: Coding-Agent Wars Consolidate

SpaceX closed its $60 billion all-stock acquisition of Cursor on August 14, 2026, capping the coding-agent consolidation wave. With ~$4B annualized revenue, a jointly trained Colossus model shipping into Cursor and Grok Build, and AI revenue projected to lead all of SpaceX by September, here is the vendor map and the unit economics.

Deepak Bagada Deepak Bagada
8m read
Deep Dive LLMs

A2A 1.0 Joins Agentic AI Foundation: The Internet of Agents

On August 17-18, 2026, Google transferred the Agent2Agent (A2A) protocol to the Agentic AI Foundation under the Linux Foundation, joining MCP, OpenAI's AGENTS.md, Block's goose, and agentgateway. A2A v1.0 (frozen March 12, 2026) brings signed agent cards, multitenancy, version negotiation, and multi-protocol bindings. Here is how MCP, A2A, and AGENTS.md divide the agent stack.

Deepak Bagada Deepak Bagada
8m read
Deep Dive LLMs

Cyera's $1B Oasis Deal: NHI Is the Agent Era's Control Plane

Cyera agreed on July 28, 2026 to acquire Oasis Security for ~$1B, bringing non-human identity (NHI) and Agentic Access Management into its data-security platform. With NHI counts in the Fortune 500 up ~500% in six months and a wave of deals — CrowdStrike-SGNL, Palo Alto-CyberArk, Cisco-Astrix — machine identity has become the agent era's control plane.

Deepak Bagada Deepak Bagada
8m read
Deep Dive LLMs

The $100B Kentucky AI Campus: Gas, Batteries & the Energy Ceiling

Brookfield and NextEra have proposed a $100+ billion AI-computing campus in Kentucky anchored by ~2GW of natural-gas generation and ~2.6GW of battery storage. This is utility-scale financing for AI compute — and it exposes the real ceiling on agents: firm megawatts. We break down the energy economics, the tokens-per-kWh math, and what it means for capacity planning.

Deepak Bagada Deepak Bagada
8m read
Deep Dive Coding

Cognition's $40B Push: AI Coding Arms Race Moves to DevEx

Cognition, maker of the autonomous coding agent Devin, is in talks to raise at a ~$40 billion valuation in August 2026 — weeks after SpaceX bought Cursor for $60B. The AI coding arms race has moved to DevEx: time-to-first-fix, PR merge rate, senior-review handoff, and revert rate. Here is the valuation map, the DevEx scorecard, and the ROI math.

Deepak Bagada Deepak Bagada
8m read
Audio Briefing
Accessibility Preferences
High Contrast Mode
Accessible Reading Font

Keyboard Shortcuts

Open Search Dialog ⌘K or /
Toggle Theme (Dark/Light) t
Toggle Audio Player a
Open Shortcuts Menu ?
Close Active Dialog Esc