AI physics startup PSI reported that a system utilizing a non-public Anthropic model proved the Aaronson-Ambainis conjecture, according to the published report The startup states that this computational effort resolved a quantum computing question that had remained open since 2008.reported PSI asserts that the conjecture is now a theorem.PSI says a private Anthropic AI solved a hard math problem from 2008.PSI asserts a non-public Anthropic model resolved the Aaronson-Ambainis conjecture.
Evidence: reported
AI physics startup PSI says a system running a non-public Anthropic model proved the Aaronson-Ambainis conjecture, a quantum computing question open since 2008 (PSI)aifleet-techmeme
The figures
- One conjecture: The Aaronson-Ambainis conjecture, which is now stated as a theorem by PSI.
- One year of origin: The conjecture was opened in 2008 by Scott Aaronson and Andris Ambainis.reported
- One model vendor: Anthropic, whose non-public model was used in the system.
Behind the figures
PSI attributes the proof to a system running a non-public Anthropic model. The source material does not specify the model version, the computational resources used, or the verification method employed to confirm the proof. Techmeme reported the claim from PSI.reported
Evidence: reported
AI physics startup PSI says a system running a non-public Anthropic model proved the Aaronson-Ambainis conjecture, a quantum computing question open since 2008 (PSI)aifleet-techmeme
What it means for your stack
Developers cannot replicate this proof immediately because the Anthropic model used is non-public. The source material does not provide API details, weights, or a public interface for this specific capability. Inference engineers cannot access the exact configuration PSI used to generate the result.
Building on this
The source material does not document any new interfaces, tools, or public capabilities for developers to build upon. PSI’s claim relies on a non-public model, meaning no documented API or SDK is available for external testing. Developers must wait for public release or independent verification before integrating this capability into their workflows.
Why it matters
- Inference engineers cannot reproduce the result without access to the specific non-public Anthropic model.
- The claim represents a significant theoretical advance but lacks immediate practical application for public AI stacks.
- Verification of the proof remains pending, as no independent audit or public paper is cited in the source.
- The use of a non-public model limits the ability of the broader developer community to validate the findings.
Topics: Anthropic, quantum computing, AI research, PSI, conjectures
Updated
Then / now / next
The Aaronson-Ambainis conjecture was an open quantum computing question since 2008.
PSI claims a system using a non-public Anthropic model has proved the conjecture.
Watch for independent verification or public release of the model or proof details.
Story timeline
- Then The Aaronson-Ambainis conjecture was an open quantum computing question since 2008.
- 06 Nov 2026 AI physics startup PSI says a system running a non-public Anthropic model proved the Aaronson-Ambainis conjecture, a quantum computing question open since 2008 (PSI)
- Now PSI claims a system using a non-public Anthropic model has proved the conjecture.
- Next Watch for independent verification or public release of the model or proof details.
The strongest doubt
Counterpoint from the sources
The source material does not provide independent verification of the proof, relying solely on PSI’s claim.
For readers
Researchers
- The Aaronson-Ambainis conjecture is now stated as a theorem by PSI.
Developers
- The model used is non-public, limiting immediate replication or integration.
Investors
- PSI, an AI physics startup, claims a significant theoretical breakthrough using Anthropic technology.
Ask the article
Local keyword search of this article; no generated answers.Did this article give you the evidence you needed?
Your choice stays on this device. No public tally.Terms in this story
Aaronson-Ambainis conjecture
A quantum computing question open since 2008, proposed by Scott Aaronson and Andris Ambainis.
Non-public model
An AI model that is not available for general public use or access.
Theorem
A statement that has been proven on the basis of previously established statements, such as axioms.
Questions readers ask
Which model proved the conjecture?
PSI states that a non-public Anthropic model was used in the system that proved the conjecture.
Is the model available to developers?
No, the source material specifies that the Anthropic model used is non-public.
When was the conjecture originally proposed?
The Aaronson-Ambainis conjecture was an open question since 2008.
Connected stories
Reading receipt
- AI physics startup PSI claims a system running a non-public Anthropic model proved the Aaronson-Ambainis conjecture.
- The conjecture, proposed by Scott Aaronson and Andris Ambainis, has been an open quantum computing question since 2008.
- PSI states the conjecture is now considered a theorem following this computational effort.
Still open: Has the proof been independently verified by other researchers?
Still open: Will the model or proof details become publicly available?