Claude Reproduces Half of OpenAI's Astra Proofs in 24 Hours

What made Astra credible was not the proofs

The ten results shipped with Lean 4 machine-checkable certificates, proof files a computer can verify without trusting the model that wrote them, at a total inference cost of roughly $2,000. Columbia's Henry Yuen vouched independently for the significance of the work. The reasoning replicated in a day. The certificate survived. Generation commoditizes; proof does not.

Pricing points the same way. OpenAI cut Luna's API price by 80% three weeks after launch and took Terra down 20%. Anthropic shipped Opus 5 at half the price of Fable 5. Artificial Analysis clocks DeepSeek's V4-Flash at roughly three cents per benchmark task against $1.86 for GPT-5.6 Sol and $3.15 for Claude Fable 5, level with Gemini 3.6 Flash on measured intelligence. Alibaba listed Qwen3.8-Max at $2/$6 per million tokens against Moonshot's $3/$15, downloadable weights a week behind. The cuts land before most enterprises have begun switching, which reads as preemptive defense rather than demand-driven price discovery.

Where the sources genuinely disagree

The cheap-inference consensus has one credible dissent, and it changes the arithmetic. V4-Flash's default reasoning setting produces code that is not shippable. Usable output requires reasoning set to high, which multiplies token consumption roughly six times. Delivered price is nearer $0.84-equivalent than $0.14, before the 167GB of memory needed to self-host it. Anyone re-baselining COGS or opening a renegotiation on the headline number is arguing from a figure off by a factor of six.

The demand side corroborates rather than contradicts. Token prices fell more than 95% in three years while enterprise LLM spend more than doubled in six months to $8.4 billion. Cheaper calls invited more calls. The only denominator that survives both facts is cost per accepted output at shipping quality.

The counter-move is regulatory, not technical

OpenAI previewed Astra to policymakers in Washington before it showed the system to customers, positioned as the first model submitted through the administration's pre-release framework, which is being finalized on a self-imposed deadline. Whoever goes first authors the documentation expectations and the evaluation batteries everyone smaller inherits.

The mirror image landed in Europe on 2 August, when the EU AI Office gained the power to inspect models before launch and block them from the market, with fines up to €15 million or 3% of global turnover and obstruction independently fineable. The Commission opened talks with OpenAI and Anthropic within days. The vendor's regulatory calendar now sits inside the European launch date, which makes single-vendor model dependency a market-access risk almost nobody has priced.

The frontier is still worth paying for where quality genuinely dominates. Everything beneath it now has four credible suppliers and no lock-in.

One escape hatch is already closed, and it closed on evidence. Routing is not the answer: Manifest ran an LLM router in production across 7,000 users for four months and chose to deprecate it. Abstraction is a commercial necessity, not a business.

The mechanics under the number

Twelve consecutive quarters of acceleration is the fact worth sitting with. The growth rate has risen every quarter for three years, from 13% in Q2 2023, and revenue went from $533 million to $1.9 billion across that span. The machine underneath is unglamorous. It links and organizes data already sitting in Snowflake, Salesforce and SAP, wraps agents and applications around it, then sends forward-deployed consultants in to make the thing work. That is a services-heavy motion carrying a software multiple, and it is the part competitors consistently decline to copy.

The commercial wedge is custody, not capability. Karp's line, that every organization is awakening to the risks of handing the creators of the language models the keys to their institutions, is judged hyperbolic by The Information. It is converting to revenue anyway. Firms that cannot answer no-training guarantees, data residency and bring-your-own-model on one slide are losing deals at a security gate they never hear about.

The defense that is depreciating fastest

Two moves in the same cycle went after the switching cost most enterprise retention stories quietly depend on. Databricks shipped an agentic code converter that analyses, translates, validates and refines legacy SQL, naming Teradata, Snowflake, Redshift and SQL Server as targets. Putting Snowflake next to Teradata is the entire strategy: cloud-native incumbents get reframed as legacy, and the cost protecting them was migration labour. A skeptic would say the translations will not survive semantic scrutiny, and may well be right. Competitive damage only requires credibility in a procurement conversation.

Above that layer, the middle of the stack is emptying from both ends. Scale AI hired a former Google Cloud operator and expects its applications business to exceed its data business within 18 months. Meta is signalling it will sell APIs, agents and compute to enterprises. Neither treated the middle as a place to stay.

The contradiction worth resolving in the numbers

The board-deck version says spend size explains the divergence. Morning Brew's market snapshot has Palantir down roughly 31% year to date, with the Nasdaq off 3.2% in July and the ten-year at 4.745%. The fastest-compounding application-layer business in the cycle is also one of the market's most punished AI names. The reconciliation is not about spend size. It is that investors now pay for a legible monetization mechanism stated before commitment rather than after. Microsoft only turned positive for the year on 3 August. Amazon crossed $3 trillion in the same cycle.

Snap is the counter-lesson a board will actually apply. Headline revenue rose 19% and the stock popped 10% after hours. Advertising, about 80% of the business, grew 9%. North American daily users sat flat at 92 million and down 7% year over year, while subscriptions carried the quarter at +85% to $316 million. A monetization lever applied to a contracting base in the highest-ARPU market is a countdown clock with good optics. The lever booked this quarter is the disclosure problem two quarters out.

The scarce asset in this cycle was never model capability. It was the customer's willingness to let you hold their data.

Why the containment layer is durable and the filter layer is not

The three organizations with the strongest commercial reason to declare prompt injection contained published proof in November 2025 that it is not. Researchers from OpenAI, Anthropic and Google DeepMind took twelve previously proposed defenses and defeated all of them using attacks allowed to adapt. A reasonable skeptic would say twelve papers are not twelve products, and the skeptic is right about that. What the skeptic does not explain away is the cause, which is architectural: a language model receives instructions and data as one undifferentiated token sequence, with no marker separating command from information, and no parameterized-query equivalent exists for natural language.

EchoLeak (CVE-2025-32711) is that finding with an invoice attached. A single email containing ordinary text, exploiting no software flaw, caused Microsoft 365 Copilot to retrieve internal files and send them out with zero user interaction, passing Microsoft's dedicated cross-prompt-injection classifier on the way. The document-borne Copilot worm described in the reporting is the same property turned toward propagation, and the reporting is blunt that no complete fix exists.

The commercial consequence

If filtering does not hold, containment is what is left: permission scope, outbound channel, artifact provenance. That is the control class Microsoft has already packaged and shipped. The connectors are the tell. Agent Framework delegates execution to Anthropic's own agent SDK while identity, content safety and observability remain in Microsoft's plane. Anthropic gains distribution and loses positioning in the same move. Microsoft has separately said it is decoupling memory, context and orchestration from any single foundation model as it builds the Copilot super app, which is the largest enterprise software vendor on earth naming where it thinks durable value sits and hedging its most famous partnership in the same breath.

Name the asymmetry out loud. The company selling the governance plane also carries the most concentrated injection exposure in the industry, through the world's most-deployed document estate. Any vendor that can attest to quarantined retrieval and capability-scoped tool access has a concrete answer in an enterprise security review that Copilot-class competitors cannot easily match. That window is measured in quarters, not years.

Two ways this goes wrong on the buyer's side

First, the industry is normalizing agent authority over identity in the same season it learned that scoping fails. WorkOS ships an MCP server granting agents dashboard-equivalent authority over authentication, including SSO configuration, user management and auth policy. Scoped tokens are necessary and not sufficient. Blast radius is the right frame.

Second, centralizing agent access solves governance and manufactures a tier-0 single point of failure. A gateway holding credentials for hundreds of tool servers is the highest-value target in the estate, and its compromise is lateral access to everything an agent can touch.

Whether an agent can be manipulated is settled. What the manipulation can reach is the open question, and that part is a local decision.

The organizational failure is consistent across every source. Security owns filters, platform owns tools, product owns autonomy, and nobody owns the boundary where all three meet. That is an org-design fix a VP can make and an engineer cannot.