Physical Superintelligence spent three days on a proof. The company's research system, running instances of an unreleased Anthropic model, produced a complete proof of the Aaronson–Ambainis conjecture — open since 2008 — and the Lean proof assistant accepted every step. What the company sells for money is far less glamorous: physics simulations of the AI data centers that house the models doing the proving.
Conjecture open for
18 years
Aaronson–Ambainis, posed in 2008, settled by PSI in November 2026
Time to first complete proof
Third day
Research system run; the mathematical bound was improved twice afterwards, each version accepted by Lean
Seed funding
$58M
Announced Sept. 1, 2026, led by Breakthrough Energy Ventures
Research staff
25+
Researchers and engineers, company-reported
Proof status
Lean-verified
Audited by Jim Halverson; formalization reviewed by Phiala Shanahan
The event
Three Days to Close an 18-Year-Old Conjecture
The conjecture asked when a quantum computer can be exponentially faster than a classical one. The answer PSI's system returned: on essentially random inputs, almost never, because a classical computer can imitate a quantum algorithm's acceptance probability with only polynomially more queries. The system reached a complete proof on the third day of its run, then improved the bound twice more, with each version accepted by Lean's kernel. Scott Aaronson, who posed the conjecture with Andris Ambainis in 2008, audited the work and judged it correct, noting that the system obtained an influence bound of at least 1/d⁶ where the conjecture only required 1/poly(d).
| Stage | What happened | How it was checked |
|---|---|---|
| Problem scoping | David Turturean, a member of technical staff, scoped the problem and ran the system on it | Human ownership of the question |
| Proof generation | Model instances searched prior work, proposed approaches and combined arguments; a first complete proof emerged on day three | Formalized in Lean and accepted by the kernel |
| Bound improvement | The system then pursued related open problems and improved the mathematical bound twice | Lean accepted the final version |
| Independent audit | Jim Halverson audited the proof; Phiala Shanahan commented on the Lean formalization | External expert review |
- The result caps input reads, not total compute time, so it does not cap the commercial value of quantum hardware.
- Exponential speedups for structured problems, including Shor's factoring algorithm, sit outside the theorem entirely.
- Quantum simulation of physics and chemistry, the workload vendors sell into most, is untouched.
- A special case was settled in August 2026 by Guy Blanc, Jordan Docter, Carmen Strassle and Li-Yang Tan of Stanford; PSI's work covers the general case.
The business
The Paycheck Is in the Server Room
PSI's commercial product is Emmy, a platform of virtual physicists that pairs a reasoning engine with a curated inventory of simulations, breaking hard problems into trees of verifiable hypotheses and testing them in parallel. The first commercial application is terrestrial and orbital AI data centers: model the facility before it is built, find opportunities in the ones already running, and optimise power, cooling, networking and compute as one system. What a customer buys is a decision, not a subscription.
| Layer | Mechanism | Commercial status |
|---|---|---|
| Research system | Harness around a non-public Anthropic model, with memory and simulation infrastructure | In production use; produced a Lean-checked proof in three days |
| Emmy platform | World models of live facilities, searched for interventions and tested in parallel | Current revenue line; contract values and customers are not disclosed |
| Autonomous Campaign | Problem definition, hypothesis, verification, experiment, engineering, deployment | Running for data-center work; no discovery has been publicly converted into a device |
| Physical validation | Digital twins plus physical measurement, filtered by conservation laws, symmetry and formal proof | Needs a physical laboratory; nothing has yet been reproduced in hardware |
What PSI's seed round is measured against
PSI's $58 million of funding equals 1.3% of Vertiv's Q3 2026 net sales, 2.3% of CoreWeave's Q2 2026 revenue and 5.9% of Charles River's quarterly revenue. For scale, NVIDIA booked $96.2 billion in a single quarter (Q2 FY2027). The discovery lab is funded by other people's capital and sells into their capital expenditure.
Unit: $ millions
Vertiv Q3 2026 net sales
10-Q, filed Oct 28, 2026
4,313
CoreWeave Q2 2026 revenue
10-Q, filed Aug 12, 2026
2,575
Charles River Q3 2026 revenue
10-Q, filed Nov 4, 2026
983
PSI funding raised
Announced Sept 1, 2026
58
The data-center business does two jobs, and the second is the interesting one. It earns revenue, and it manufactures constraints: live facilities impose demands no simulation would propose, and each campaign trains virtual physicists used in later ones. Paid industrial optimization buys the experimental grounding that a discovery operation cannot buy with money alone. That is why the first credible AI-science business looks like an engineering services firm with a research lab attached, rather than a research lab with a business attached.
- A paying customer that renews without a price concession.
- A discovery converted into a device, a process or a patent rather than a paper.
- A result that survives physical measurement, not just simulation.
- Revenue growth that outruns headcount, which would prove the platform scales rather than the consultancy.
Supply chain
Who Actually Gets Paid: Models In, Server Rooms Out
Two inputs sit upstream of PSI and neither is a laboratory: access to an unreleased frontier model, and compute. Two customers sit downstream: operators with hard power limits, and the physical infrastructure vendors whose bottleneck PSI sells relief on. In the middle, selling the same physics as software seats, sits the incumbent simulation business. The chain is short, and the pricing power sits at the two ends.
| Link | Company | Evidence | What it means |
|---|---|---|---|
| Upstream | Anthropic | Non-public model instances were used in the proof run | Early access to unreleased models is the gating input, and the supplier keeps the upstream surplus |
| Upstream | NVIDIA | Individuals from NVIDIA backed the seed round; Q2 FY2027 revenue of $96.2 billion | Research agents are incremental inference demand for the compute layer |
| Parallel | Synopsys | Ansys contributed $622.2 million inside Design Automation revenue of $2.003 billion, up 53% year over year | The incumbent sells the same physics insight as software seats |
| Downstream | CoreWeave | Q2 2026 revenue of $2.575 billion against a $626 million net loss | The buyer profile: GPU capacity sold against hard power limits |
| Downstream | Vertiv | Q3 2026 net sales of $4.313 billion, up 61%, with a 38.1% gross margin | The physical constraint being modeled, and sold relief on |
| Downstream | Charles River Laboratories | Discovery Services revenue of $596.3 million at a 28.9% operating margin | The labor pool that an automated research campaign would price out |
- Capital was never the binding constraint. PSI raised $58 million; NVIDIA booked $96.2 billion in one quarter. The scarce resource was early access to an unreleased Anthropic model — a supplier relationship, not a balance sheet.
- Supplier concentration is the structural risk. If Anthropic grants similar access to other operators, PSI's edge narrows to its verification stack, its customer data and the physical laboratory it is still building.
- The incumbent has conceded the risk in its own filing: Synopsys states that adoption of AI technologies has brought new demands and challenges, including potential disruption to business models and existing technology offerings, in the context of competition for Ansys simulation software.
Quantum read-through
The Quantum Read-Through Is Narrower Than the Headlines
The theorem says something precise: for most random inputs, a classical computer can match a quantum algorithm's answer using polynomially many more queries. That removes one family of claims from the marketing deck of quantum vendors, and it is not a boundary on quantum advantage in general — the man who posed the conjecture says so plainly. For the listed quantum complex the exposure runs through narrative rather than cash flow: IonQ's trailing revenue through September 2026 was $380.4 million against a trailing operating loss of $1.28 billion, on an enterprise value near 39 times trailing sales at the November 10 close.
IonQ: revenue scale against loss scale
IonQ's trailing four quarters through Sept. 30, 2026: revenue of $380.4 million against a trailing operating loss of $1.28 billion. Quantum names still carry their value in expectation, which is why a theorem about which problems can show quantum advantage reaches the share price before it reaches the business.
Unit: $ millions
Revenue, trailing four quarters
Through Sept. 30, 2026
380.4
Operating loss, trailing four quarters
Absolute value of the trailing operating loss
1,284.6
- What changed: exponential speedups on unstructured, random-input problems are now formally closed off, which removes a talking point rather than a revenue line.
- What did not change: Shor's factoring, quantum simulation of physics and chemistry, and every structured problem, all of which sit outside the theorem.
- What to watch: whether vendors pivot their messaging toward chemistry and optimisation workloads, where the load-bearing commercial claims live.
- What actually moves the shares: bookings and revenue per quarter. A theory result changes the narrative for a week, not the model.
Read-through
Where the Margin Actually Sits: Discovery Services and the Platform Premium
Inference, not fact: PSI's template has three parts — a research system, a verification stack and a physical gate. Swap the physics for biology and you have an AI-science operator running discovery campaigns end to end. Anthropic has now built the biology version of the middle piece: a Bay Area wet lab, with Claude being developed to direct robotic units, plus the confirmed acquisition of Coefficient Bio for about $400 million in stock, according to media reports cited by Reuters. Anthropic says it will stop short of clinical trials so as not to compete with drugmakers, and it already sells AI-lab tools and services to large pharmaceutical customers, including Roche Genentech.
| Model | Latest reported quarter | Margin profile | What has to be true |
|---|---|---|---|
| PSI, autonomous research campaigns (private) | Revenue not disclosed; $58 million raised, 25+ staff | Not disclosed | A paid facility-optimization contract converts into a hardware-validated discovery |
| Charles River Laboratories, Discovery Services | $596.3 million revenue, Q3 2026 | 28.9% operating margin | Pharma research budgets hold while experiment coordination is automated |
| Schrödinger, software-first discovery | $64.5 million revenue, Q3 2026, up 19% year over year | 59.3% gross margin | Standalone simulation keeps its price inside harnesses that bundle it |
| Recursion Pharmaceuticals, platform discovery | $18.6 million revenue, Q3 2026, including a $10 million milestone | 45.8% gross margin | Platform premium survives rivals who buy model access instead of building it |
- The margin pool in the template's path is real: roughly $690 million of annualized operating profit sits in Charles River's Discovery Services segment at a 28.9% operating margin, and total company revenue already fell 2.2% year over year in Q3 2026.
- The platform premium is thinner and lumpier. Recursion spent $360.0 million on research over the trailing four quarters against $68.2 million of trailing revenue, and its quarterly revenue is milestone-driven: the $18.6 million reported for Q3 2026 included a $10 million Sanofi milestone.
- Schrödinger shows the same split: total revenue rose 19% while the software segment, the part that sells physics as seats, grew only 6%, with hosted software up 49% to $17.2 million.
- The part automation will not touch quickly is regulated quality work and biologics testing, not the coordination of early discovery campaigns.
- The winners of the template are operators with capital and physical assets: they can buy the research system and they keep the experimental data.
Horizons
What Moves in Days–Quarters, and What Only Matters by 2029
- The quantum narrative reprices first: the theorem closes off one class of advantage and gets argued about for weeks, while no model, no contract and no cash flow changes.
- Hyperscaler and neocloud capital expenditure guidance is the demand pool PSI sells into; Vertiv's third-quarter commentary on robust AI and high-performance compute demand is the cleanest public read on it.
- Watch for a named PSI customer or a disclosed contract value. Until one appears, treat traction as unquantified.
- Anthropic's next decision on frontier-model access determines whether PSI's early access is an asset or a rented advantage.
- The next quarterly prints from Recursion and Schrödinger are the first hard test of whether platform discovery demand is accelerating or thinning.
- By 2029 the Fermi Explorer Mission, where PSI is the founding technical partner and says it established feasibility and found a more efficient trajectory, either becomes the first AI-planned interstellar mission or joins the pile of credible-sounding proposals.
- A discovery-to-device conversion is the milestone that matters: until physical measurement blesses a result, the business stays a services firm with an option attached.
- Model-access economics decide the sector. If unreleased frontier models become a supplier input rather than a scarce gift, research-system operators consolidate into a few well-capitalized players.
- In biology, the same template would run straight through the discovery-services layer, and Charles River's Discovery Services margin is the first place a shift would show up in reported numbers.
- The main risk to this thesis: services prove stickier than expected, or frontier models commoditize faster than any operator can build the verification stack that makes them useful.
Synthesis
Thesis: The First AI-Science Business Is a Services Business With an Option on Science
Facts: a lab of more than 25 researchers and engineers used an unreleased Anthropic model to settle an 18-year-old conjecture in three days with a machine-checked proof; its revenue comes from physics optimization of AI data centers; neither revenue nor customers are disclosed. Inference: what is scarce is model access plus a verification stack, not models themselves, so the surplus accrues upstream to model suppliers and downstream to whoever owns the physical assets, while seat-based physics software and platform discovery face the most pricing pressure. Speculation: if the template generalises to biology on the pace Anthropic's own wet lab implies, the first casualties will be pricing power rather than revenue.
Nature gets a vote in your models of reality.
Where this leaves the listed exposure
- Research agents run on this supply chain: NVIDIA grew revenue 106% to $96.2 billion in Q2 FY2027, the pool every lab like PSI's consumes.
- Individuals from NVIDIA backed PSI's $58 million seed, making the lab an allocator of the same compute it sells.
- Horizon: near-term revenue is insensitive to one AI-science lab; the 1-3 year effect is a new inference-demand class from research agents.
- PSI sells relief on the exact constraint Vertiv sells into: Q3 2026 net sales of $4.313 billion, up 61%, at a 38.1% gross margin.
- Bearish side: if physics-led optimization raises compute per megawatt, cooling content per megawatt can fall; bullish side: total capacity keeps expanding.
- Horizon: 1-3 years — watch whether software-led optimization slows equipment refresh orders; a slowing order book would confirm substitution.
- CoreWeave carries $2.575 billion of Q2 2026 revenue against a $626 million net loss, so every point of power efficiency drops through.
- PSI's fee is a new cost line for a company already carrying $1.87 billion of trailing interest expense through June 2026.
- Horizon: days–quarters — watch for a named facility-optimization contract; a renewal would show the services model has repeatability.
- Synopsys sells the same physics as seats: Ansys contributed $622.2 million inside Design Automation revenue of $2.003 billion, up 53% year over year in Q3 FY2026.
- Synopsys itself warns that AI adoption may disrupt existing business models — the substitution PSI's world models pose, acknowledged in the filing.
- Horizon: near-term complementary, since PSI's verification stack still runs simulations; the erosion shows up first in generic physics pricing.
- The theorem narrows where exponential quantum advantage can be claimed, and IonQ still earns $380.4 million of trailing revenue against a $1.28 billion trailing operating loss.
- The catalyst is narrative repricing: watch whether vendors pivot messaging from broad advantage to structured and chemistry workloads over the next two quarters.
- Horizon: 1-3 years — a credible pivot to chemistry use cases would blunt this read-through; Shor's-type programs sit outside the theorem.
- Charles River Laboratories holds the margin pool automation targets: $596.3 million of Q3 2026 Discovery Services revenue at a 28.9% operating margin, roughly $690 million of annualized profit.
- Total company revenue fell 2.2% year over year in Q3 2026, so pricing pressure would land on a segment already absorbing soft demand.
- Horizon: 1-3 years — the compression is inference, not fact; regulated quality and biologics testing are the parts automation will not touch soon.
- Schrödinger sells physics-based simulation that research harnesses can bundle, risking price compression on $64.5 million of quarterly revenue at a 59.3% gross margin.
- Horizon: 1-3 years — if discovery platforms stop paying for standalone simulation seats, the premium compresses before any volume growth arrives.
- The falsifier is plain: if revenue keeps compounding above 20% with gross margin intact, the platform premium survives the template.
- Recursion Pharmaceuticals burns $360.0 million of trailing research spending against $68.2 million of trailing revenue, leaving the story dependent on industrialized discovery arriving on schedule.
- PSI's template says the scarce inputs are model access and physical validation, not proprietary algorithms — which is what Recursion does not own.
- Horizon: 1-3 years — a revenue inflection with flat research spending would falsify this call; until then the platform premium is the exposure.
