Sam: Anthropic just crossed sixty-five billion dollars in annualized revenue. That's a sevenfold increase in one year, and they added eighteen billion of that in the last two months alone. We're going to unpack what's driving that acceleration, what it tells us about where enterprise AI adoption actually is, and why Anthropic might beat OpenAI to an IPO. But that's just one piece of a bigger picture today — OpenAI just signed a twenty-year lease on an eight-gigawatt data center in Ohio, backed by a hundred and five billion dollars in Nvidia guarantees. We've got AI formally verifying the most complex mathematical proof ever attempted by machine, the EU's watermarking mandate hitting production systems, a Chinese open-weight model that security researchers have been worried about for months, and a JAMA piece arguing we should let AI practice medicine without a doctor in the loop. Lot to cover.

Priya: Welcome to AI Revolution for Tuesday, August 18th, 2026. I'm Priya Nair, here with Sam Kim, and yeah — today's rundown is dense. We're going to spend real time on the infrastructure and capital story because the numbers are getting to a scale where they reshape what's structurally possible. We'll dig into the formal verification breakthrough because it has implications well beyond mathematics. And we'll close with some stories that raise genuinely hard questions about regulation and open-weight model risk. Let's get into it.

Sam: So let's start with Anthropic. Sixty-five billion in annualized revenue, per Bloomberg. To put that in perspective, a year ago they were at roughly nine billion. And the trajectory is steepening — eighteen billion added in just the last two months. The reporting suggests they could IPO as early as this fall at a valuation around one trillion dollars, which would potentially put them ahead of OpenAI in going public.

Priya: The rate of acceleration is what I find most interesting here. You don't go from nine to sixty-five billion on API calls from startups experimenting with chatbots. That's deep enterprise adoption — large contracts, significant per-seat or per-token commitments from organizations that have moved past proof of concept. When you're adding eighteen billion in two months, that means either new massive deals are closing at an unprecedented pace, or existing customers are scaling usage dramatically, or both.

Sam: Probably both. And the IPO timing is strategic. If Anthropic goes public at a trillion-dollar valuation this fall, they set the benchmark. OpenAI then has to price relative to that. It's a competitive move as much as a capital-raising one. Though I'd note — annualized revenue rate and actual collected revenue are different things, and at this growth rate the gap between the two can be significant.

Priya: Fair caveat. But even discounting for that, the signal is clear: the market for frontier AI capabilities is enormous and growing faster than most models predicted even six months ago.

Sam: Now pair that with what OpenAI is doing on the infrastructure side. They've signed a twenty-year lease for an eight-gigawatt data center in Ohio. Eight gigawatts. For context, a large traditional data center campus might be two hundred to five hundred megawatts. This is sixteen to forty times that scale. And Nvidia is backing this with up to a hundred and five billion dollars in residual value guarantees, meaning Nvidia is essentially saying: if this facility's value drops, we'll cover the difference. In exchange, Nvidia becomes the exclusive chip supplier for the facility.

Priya: That exclusivity clause is the key detail. Nvidia isn't just selling chips — they're locking in a twenty-year supply relationship on what will be one of the largest compute installations on Earth. That's a structural commitment that shapes the competitive landscape for alternative chip makers for decades.

Sam: Right. And here's the systemic concern that the Wall Street Journal flagged: nine tech companies now hold approximately three trillion dollars in AI infrastructure commitments that don't appear on any balance sheet. These are operating leases, purchase commitments, guaranteed residual values — structured specifically to stay off the books. Three trillion dollars in obligations that investors have to dig to find.

Priya: That's the kind of number that matters for systemic financial risk. If AI revenue growth continues at the rate Anthropic is demonstrating, these commitments look brilliant. If there's a correction or a plateau, you've got three trillion in obligations that companies can't easily unwind.

Sam: Exactly. It's a bet that the demand curve doesn't flatten for twenty years.

Priya: Let's shift to something quite different. An AI system has formally verified the most complex mathematical proof ever checked by machine.

Sam: This is a significant result from Axiom Math. Their system, AxiomProver, automatically verified the proof of what's called the 246 theorem, which relates to the distribution of prime numbers — specifically, it proves there are infinitely many pairs of primes that differ by at most 246. The proof itself was already known to mathematicians, but translating it into a machine-checkable format and having an AI system verify it automatically is the milestone here.

Priya: Help people understand what formal verification actually means in this context.

Sam: So in formal verification, you're not asking the computer whether it thinks the proof is correct. You're translating every logical step of the proof into a formal language with precise rules, and then the system mechanically checks that each step follows from the previous ones according to those rules. It's the closest thing we have to a mathematical guarantee of correctness. The analogy I'd use: it's like having a proof checked not by a colleague who might overlook a subtle error, but by a system that literally cannot accept an invalid logical step. The AI contribution here is in automating the translation and gap-filling — taking a human proof and converting it to formal language, filling in implicit steps that mathematicians leave out.

Priya: And the practical implications go well beyond pure mathematics.

Sam: Absolutely. The same formal verification techniques apply to cryptographic protocol correctness, software verification, hardware design validation. If you can formally verify a complex mathematical proof, you're developing capabilities that transfer to proving that a piece of security-critical code does exactly what it claims to do and nothing else. But — and this is important — the IEEE Spectrum piece also noted a recent demonstration where bugs in the verification methodology itself could allow false proofs to be accepted. So the tools aren't infallible yet. You need to verify the verifier.

Priya: Which is the eternal regression problem in formal methods, but still, this is meaningful progress.

Sam: Let's talk about the EU watermarking mandate. As of August 2nd, Article 50 of the EU AI Act requires AI systems to mark synthetic outputs in a machine-detectable format. This is now live, and the major frontier model providers are implementing it.

Priya: Walk through how statistical watermarking actually works technically.

Sam: The approach most providers are adopting works at the token generation level. During inference, the model's token selection process is slightly biased — you partition the vocabulary into groups and nudge the sampling distribution so that selected tokens carry a statistical signal. Over enough tokens, this signal becomes detectable by a verification algorithm, but it's subtle enough that it doesn't measurably affect output quality. Think of it like a steganographic signature embedded in the statistical distribution of word choices rather than in any visible marker.

Priya: The open-source community has raised two concerns. One is compliance burden — if you're fine-tuning or serving an open-weight model, are you now responsible for implementing watermarking? And two, these watermarks may be removable or spoofable.

Sam: Both legitimate concerns. Paraphrasing or regenerating text through a non-watermarked model can strip the signal. And the compliance question for open-source is genuinely unresolved — the regulation was written primarily with API-served proprietary models in mind.

Priya: Speaking of open-weight models — Z.ai has released the model that security researchers have been warning about for months.

Sam: Right. Z.ai, the Chinese lab, released an open-weight model with strong cybersecurity capabilities. This was specifically flagged by multiple security researchers before release as a dual-use concern. The model can be used for legitimate defensive security work — vulnerability analysis, code auditing — but those same capabilities make it effective for offensive purposes. And because it's open-weight, it's out there now. You can't recall it.

Priya: This is the open-weight dual-use dilemma playing out in real time. The defensive value is real. Security teams with limited resources get access to capabilities that were previously only available to well-funded organizations. But the offensive risk is also real, and unlike a proprietary API, there's no usage policy you can enforce after distribution.

Sam: Two quick hits. Groq raised three hundred fifty million at a three and a half billion dollar valuation, but the real story is their pivot. They're moving away from their proprietary LPU chip business to become an Nvidia-powered neocloud. That's a company that built custom AI silicon essentially acknowledging that competing with Nvidia on hardware is not viable and pivoting to compete on inference service instead.

Priya: And Grab published a detailed case study showing their AI agents reduced mechanical analytics work from forty-four percent of analyst workload to thirty percent in four months. What makes this notable is the specificity — they documented the architecture, the reliability mechanisms, the certified data sources, and the human oversight checkpoints. It's one of the more credible production case studies we've seen for enterprise AI agent deployment.

Sam: Last substantive topic — a JAMA opinion piece arguing that regulators should not mandate human-in-the-loop requirements for medical AI. The authors' argument is that autonomous AI will outperform doctor-AI teams on medical reasoning tasks, and requiring a physician's final sign-off actually degrades performance.

Priya: And they acknowledge that nearly all the evidence for this comes from simulation studies, not real patient care.

Sam: Which is a significant caveat. Simulation performance and real clinical performance are different domains. Patients present with incomplete information, comorbidities, social context — things that don't show up cleanly in benchmark scenarios. The argument may prove correct eventually, but building regulatory frameworks on simulation evidence is premature.

Priya: The precedent question matters too. If healthcare drops mandatory human oversight for AI decisions, that framework will be cited in every other high-stakes domain. Aviation, legal, financial. The first sector to do this shapes the template.

Sam: Looking ahead — the throughline across today's stories is scale meeting consequence. Sixty-five billion in revenue, eight gigawatts of compute, three trillion in off-balance-sheet commitments. The AI industry is making bets at a scale where the downstream effects — on power grids, on financial markets, on competitive dynamics — become systemic. Watch the IPO race between Anthropic and OpenAI this fall. Watch how the EU watermarking mandate plays out in practice, especially for open-source. And watch whether formal verification capabilities start showing up in production software development toolchains.

Priya: And keep an eye on the open-weight security model situation. We're going to see real-world data on whether it's used more defensively or offensively, and that data will shape the open-weight release debate for the next generation of models.

Sam: That's the show for Tuesday, August 18th. Show notes with links to everything we discussed are at cleartext.fm. Thanks for listening, and we'll see you tomorrow.

Priya: See you tomorrow.