PSI says a system using a non-public Anthropic model proved a quantum computing conjecture
This is PSI's own announcement, and the paper has not been through journal peer review in the sources read. Unite.AI's account, labelled AI-generated, says readers must still confirm that the formal statement matches the original conjecture and that the human-readable paper is not itself machine-checked. The supportive comment from Stanford researchers was published by PSI, and this edition found no public assessment by Aaronson or Ambainis. A PSI staff member ran the system and is responsible for the paper. The model is not public, so the run can't be repeated by outsiders, and one result does not show how often such systems succeed.
What was claimed?
Physical Superintelligence (PSI) said on November 6, 2026 that a research system it built, running instances of a non-public Anthropic model, found a proof of the Aaronson-Ambainis conjecture, which it says has been open since 2008. The conjecture is a statement about polynomials. PSI says proving it shows quantum computers can be at most polynomially faster than ordinary computers on random inputs for yes-or-no questions. PSI says the system had a complete proof on the third day of a run, that the Lean proof assistant accepted it, and that the system then improved the result twice. The paper and the formal proof are public.
What does the evidence support?
Company claim, independent confirmation unresolved
If it holds, an AI system has settled a problem that PSI says researchers have counted among the central open questions in quantum complexity theory. A public formal proof can be checked in ways that most claims of AI discovery cannot.
What are the limits?
This is PSI's own announcement, and the paper has not been through journal peer review in the sources read. Unite.AI's account, labelled AI-generated, says readers must still confirm that the formal statement matches the original conjecture and that the human-readable paper is not itself machine-checked. The supportive comment from Stanford researchers was published by PSI, and this edition found no public assessment by Aaronson or Ambainis. A PSI staff member ran the system and is responsible for the paper. The model is not public, so the run can't be repeated by outsiders, and one result does not show how often such systems succeed.
Claim or evidence date: 2026-11-06. Last verified: .
Physical Superintelligence · A proof of the Aaronson-Ambainis conjecture ↗
Colors classify evidence; they do not rank truthfulness. Explore hype versus reality →