Sam: An AI just disproved a conjecture that Paul Erdős posed in 1946. Not by brute-force search, not by checking cases — it constructed a proof using algebraic number theory techniques that experts in the field didn't anticipate would be relevant to the problem. It's the first AI-generated proof accepted by a top-tier mathematics journal, and Fields Medalist Tim Gowers is calling it a milestone. I want to unpack what actually happened here, because the technique matters as much as the result.

Priya: Happy Friday, everyone. Welcome to AI Revolution for May 22nd, 2026. I'm Priya Nair.

Sam: And I'm Sam Kim.

Priya: We have a packed show today. We're going to spend real time on that math proof and what it means for reasoning systems broadly. Then we'll get into US Cyber Command deploying frontier AI models on top-secret networks — there's a fascinating and somewhat alarming timeline buried in that story. We'll cover the White House pulling an AI safety executive order after lobbying from Musk, Zuckerberg, and Sacks. Anthropic is about to post its first profitable quarter, which happened years ahead of their own projections. And we've got some quick hits on the SpaceX IPO filing, a massive Series A for a stealth AI interface company, open-source robotics reasoning, and Cloudflare completing its agent infrastructure stack. Let's get into it.

Sam: So the Erdős conjecture. Let me set up the math so the result makes sense. In 1946, Erdős posed a question about unit-distance graphs — you place points in the plane, and you draw edges between every pair of points that are exactly distance one apart. The conjecture concerned specific structural properties of these graphs, and for 80 years, mathematicians approached it with combinatorial and geometric tools. That was the accepted toolkit for this class of problems.

Priya: And the AI didn't use those tools.

Sam: Right. OpenAI's reasoning model — they haven't specified exactly which one, but it's from their latest reasoning line — attacked the problem using algebraic number theory. It constructed a counterexample by leveraging properties of algebraic integers in a way that, according to the mathematicians reviewing it, was genuinely novel. It wasn't retrieving a known proof strategy and applying it. It found a connection between number theory and combinatorial geometry that the human experts working on this problem hadn't explored.

Priya: This is the part that I think matters most for our audience. There's a difference between an AI that's very good at executing within known mathematical frameworks and one that's identifying non-obvious connections across subfields. The second thing is closer to what we'd call mathematical creativity.

Sam: Exactly. And Gowers's reaction is worth paying attention to because he's not someone who hypes easily. He said explicitly that we've probably entered an era where humans will struggle to compete with AI in mathematics. Now, he's talking about a specific kind of mathematical work — finding proofs, constructing counterexamples, the kind of formal reasoning that these models are increasingly good at. He's not saying AI understands math the way humans do. But the output is now journal-quality, and the approach is novel.

Priya: The implications beyond pure math are significant. Cryptographic security rests on mathematical hardness assumptions. Formal verification of software and hardware uses proof systems. If AI can find unexpected connections and construct novel proofs at this level, the surface area of what's provable — and what's disprovable — just expanded. And the timeline on which it expands is now measured in model generations, not human career spans.

Sam: One important caveat: we're talking about one proof. But the trajectory matters. A year ago, AI-generated math was competitive at the Olympiad level. Now it's producing results that clear the bar for top journals. The slope of that curve is steep.

Priya: Which connects directly to our second story. US Cyber Command has launched a task force to deploy frontier models from OpenAI, Google, and Anthropic on the most classified Pentagon and NSA networks. The trigger is a specific capability finding: Anthropic's Claude Mythos can find security vulnerabilities faster than elite human hackers.

Sam: Let me clarify what "faster" likely means here, because I think people hear that and imagine the AI is slightly quicker. What these systems can do is analyze massive codebases and system configurations in parallel, testing attack surfaces that a human would take weeks to enumerate. The throughput advantage is orders of magnitude, not incremental. A skilled human penetration tester has intuition and creativity. These models are developing that same kind of pattern recognition but can apply it across a million lines of code simultaneously.

Priya: The detail that jumped out at me is Anthropic's own estimate: comparable offensive AI capability could be widely available within six to twenty-four months. That's Anthropic saying this about their own technology category. They're not talking about state actors getting access. They're talking about broadly available tools.

Sam: And that's the real pressure driving the Cyber Command deployment. It's a race condition. If you know that AI-powered offensive capability is going to proliferate within two years, you need to be running these tools on your own infrastructure now — not to gain an advantage, but to find the vulnerabilities before someone else's AI does.

Priya: For anyone running enterprise security, the implication is pretty direct. The vulnerability discovery rate across the entire landscape is about to accelerate dramatically. Bugs that might have sat undiscovered for years are going to get found — the question is by whom and when.

Sam: Now, here's where story three creates a jarring juxtaposition. On the same day we're talking about AI finding vulnerabilities faster than humans and Cyber Command scrambling to deploy these tools on classified networks, the White House pulled an executive order that would have established even a voluntary pre-release review for frontier AI models.

Priya: Let me describe what the order would have done, because the specifics matter. It would have created a 90-day voluntary review window before frontier model releases, where the government could assess safety and security properties. Voluntary. Ninety days. That's about as light-touch as pre-deployment oversight gets.

Sam: And it was killed after direct lobbying calls from Musk, Zuckerberg, and David Sacks, who was formerly the White House AI advisor. The reasoning, as reported, centered on competitiveness concerns — the argument that any friction in the release pipeline puts US labs at a disadvantage relative to Chinese competitors.

Priya: I understand the competitiveness argument, but let's be honest about what just happened. The nearest-term federal mechanism for any kind of pre-deployment scrutiny of frontier AI in the US is now gone. That means safety and security evaluation before release is entirely the responsibility of the labs themselves. And the labs are in an intense commercial race — which brings us to Anthropic's financials.

Sam: Anthropic is projecting $559 million in operating profit on $10.9 billion in revenue for Q2. To put that in perspective, just last summer they didn't expect profitability before 2028. They beat their own timeline by roughly three years.

Priya: The revenue driver is telling: coding tools and agentic Claude deployments. Not chatbots, not consumer subscriptions. Enterprise developers and automated coding workflows. At times demand reportedly exceeded their available compute capacity.

Sam: This validates something we've been tracking on the show — agentic coding is the killer app for frontier models right now. It's where willingness to pay is highest because the productivity gains are immediately measurable.

Priya: And it changes the industry dynamics in an important way. If a safety-focused lab can reach profitability at this scale, the argument that safety investment is an unaffordable luxury loses a lot of its force. Anthropic is proof that you can do both.

Sam: Let's do quick hits. SpaceX filed for what could be the largest IPO ever, targeting up to two trillion in valuation. The filing is interesting for AI because it disclosed that xAI — Musk's AI company, which is part of the SpaceX corporate structure — lost $6.36 billion in 2025. It also revealed an Anthropic compute deal worth $15 billion per year.

Priya: Fifteen billion a year for compute from a single customer. That gives you a sense of the capital intensity at the frontier. And the turbine spending in the filing suggests they're building out dedicated energy infrastructure for data centers, which is going to intensify the already contentious fights over power and land for AI compute.

Sam: Hark, a stealth company building what they call a "universal AI interface," raised $700 million in a Series A — one of the largest Series A rounds ever. They're planning multimodal models this summer followed by dedicated hardware. Very little is public about what they're actually building, but the scale of the bet suggests investors see a platform play — an AI-native interaction layer that could sit between users and everything else.

Priya: On the research side, Hugging Face, NVIDIA, and Alibaba are all open-sourcing robot reasoning and decision-making layers. This mirrors what happened with LLMs a few years ago — when the reasoning stack becomes open, development barriers collapse and adoption accelerates rapidly. It's early for robotics, but the institutional investment behind this is significant.

Sam: And Cloudflare completed what they're calling a six-layer agent infrastructure stack — compute, orchestration, memory, browsing, and commerce. They rebuilt their Browser Run service on their own container platform, getting four times the concurrency and half the latency. If you're building web-browsing agents at production scale, that's a meaningful improvement. Cloudflare is positioning itself as a full-stack alternative to hyperscalers for agentic workloads.

Priya: Alright, looking ahead. I keep coming back to the convergence of these stories. We have AI that can construct novel mathematical proofs. We have AI that finds security vulnerabilities faster than elite humans. And we just lost the only near-term federal mechanism for pre-deployment review of these systems.

Sam: The math proof story isn't just a cool research result. It tells us something about the trajectory of reasoning capabilities. If an AI can identify that algebraic number theory is the right lens for a combinatorial geometry problem — making a cross-domain leap that surprised experts — then the assumption that AI needs human-curated problem decomposition is weakening. These models are developing their own problem-solving strategies.

Priya: And the Cyber Command story tells us that at least some parts of the government understand the urgency. They're not waiting for the policy process. They're deploying now because the capability clock is ticking. But the safety order withdrawal tells us that the policy side isn't going to keep pace.

Sam: The thing I'd watch is what happens in the next six months at the intersection of mathematical reasoning and security research. If these reasoning models can find novel proofs in mathematics, they can find novel attack vectors in cryptographic systems. Anthropic's six-to-twenty-four-month estimate for offensive capability proliferation may turn out to be conservative.

Priya: And Anthropic's profitability means the frontier labs have less external pressure, not more. When you're burning cash, your investors have leverage. When you're printing $559 million in quarterly operating profit, you answer to yourself. Whether that's good or bad depends entirely on the lab.

Sam: The open question for the rest of this year is whether the capability curve and the governance curve are diverging permanently or whether something forces them back together. Right now, they're moving in opposite directions.

Priya: That's our show for today. Show notes and links to all the stories we covered are at cleartext.fm.

Sam: Have a great weekend, everyone. We'll see you Monday.