I/O's two bets on how you reach AGI

Following yesterday's I/O roundup, AI Explained does the close reading: the keynote was Google's pitch to win consumers through the search bar, not to pull developers off Claude. Underneath it sit two theses on how you get to AGI — Demis Hassabis betting on world models, Greg Brockman betting on the text-reasoning tree.

A new generation of ads for the AI era of Search

Google (Keyword)

AI Mode gets ads. Conversational Discovery ads and Highlighted Answers are both built with Gemini, and Google places an 'independent AI explainer' next to the creative, labeled Sponsored. The model that answers your question is now also the one running the ad beside the answer, in the same paragraph.

“Our Gemini model evaluates and synthesizes information about a product or service, and displays that context alongside the advertiser's creative.”

Midjourney's founder says TPUs cost them a year

r/singularity

A counterweight to Google's TPU pitch. A circulating screenshot has Midjourney's founder saying tensor processing units set their research back about a year and that he regrets not staying on Nvidia. The migration off TPUs is verifiable — V8 shipped on a GPU-native PyTorch rewrite — and the most-upvoted reply reads the complaint as the tooling tax of mixing two hardware stacks, not a knock on the chip.

“He is hinting at infrastructure friction caused by mixing stacks, not flat out "TPUs are shit."”

OpenAI: a breakthrough on the planar unit distance problem

OpenAI

OpenAI says one of its models produced a new result on the planar unit distance problem, which Paul Erdős posed in 1946. For about 80 years the best constructions looked like square grids; the model found a new family that does better.

“This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.”

A model disproves a discrete geometry conjecture

OpenAI

The primary write-up and PDF proof. OpenAI stresses the work came from a general-purpose reasoning model — the kind already callable from an API — rather than a purpose-built prover, and its own hedge is more measured than the discourse around it. Independent verification by the math community is still pending.

“The proof came from a general-purpose reasoning model, not a system built specifically to solve math problems or this problem in particular.”

How the builder community read the result in real time

r/singularity

The thread reproduces OpenAI's full text and captures the reflexive goalpost-moving alongside the recursive-self-improvement implication — which points straight at the pre-training work Anthropic hired Karpathy for this week.

“Wait until it accelerates work in AI research.”

Anthropic set to hit $10.9B in revenue in Q2

CNBC

Anthropic is projected to post its first operating profit, about $559 million, on revenue that more than doubles quarter over quarter. The figure includes model-training costs but excludes stock-based comp, and the company may not stay profitable across the full year given planned compute spend. A frontier lab printing a profit at all cuts against the story that these places only burn money.

“Anthropic is projected to post its first operating profit of about $559M in Q2 2026, on revenue of $10.9B, up from $4.8B in Q1.”

How the profitability report is landing

r/singularity

The community read on the milestone, with the top comment tying it to Google reportedly putting in another $40 billion at a roughly $330 billion valuation — the capital relationship sitting behind the numbers.

Meta begins 8,000 layoffs in its shift to AI

New York Post

The cost side that doesn't make the keynote slide. Meta is cutting about 8,000 jobs, roughly 10% of staff, delivered in regional waves of early-morning email and framed as a restructuring tied to its AI shift.

“The companywide purge is taking place in three massive waves, as employees across the world are notified in emails at 4 a.m. local time.”

Every office employee is training their own replacement

r/singularity

The anxiety running under the week's optimism. The literal version overstates how coordinated most companies are, but the version worth taking seriously is that the gap between people who use the tools well and those who don't is becoming the line that matters.

“They're just collecting workflows, emails, decisions, prompts, and habits until the system can replace people one by one.”

Cohere launches Command A+, its first MoE, under Apache 2.0

Nick Frosst (Cohere)

Command A+ is Cohere's first mixture-of-experts model, released under Apache 2.0 and quantized to run on one or two GPUs. Co-founder Nick Frosst is candid that top-line performance still has work to do, and credits the open-source community for keeping Cohere innovative. A capable open-weights model that fits on local hardware widens what a small team can build.

“Just total, near unfettered access to a pretty awesome model.”

Hugging Face benchmark datasets now filter by model size

r/LocalLLaMA

You can now filter Hugging Face benchmark datasets by model size, so you can ask directly which model under a given parameter count leads on something like SWE-bench Verified instead of eyeballing leaderboards full of models you can't run.

Skill issue: lessons from skilling up coding agents to use Langfuse

Marc Klingen (Langfuse)

A concrete field guide to making a tool legible to coding agents. Asked to add tracing, Claude Code writes the integration from stale memory, ships it broken, then fetches current docs to fix it. The fixes are copyable by anyone who maintains a tool: watch real execution traces, advertise the CLI help flag, serve markdown over HTML, and wrap docs Q&A as a search endpoint the agent can query.

“Looking at traces still gets you to like 80% of the detail.”