AI produced a proof of a quantum-computing conjecture. Mathematicians wrote 30 pages to explain it.

The finished work is a mathematical proof, not a generated illustration. On November 6, Physical Superintelligence (PSI) announced a proof of the Aaronson–Ambainis conjecture. The company says its research system, using a non-public Anthropic model, obtained a complete proof on the third day of a run and subsequently improved it twice. The paper and code are available at https://github.com/physical-superintelligence/aaronson-ambainis .

The result addresses when quantum computers can gain dramatic advantages. It proves a statement about low-degree polynomials whose consequence is that, on most inputs, a classical algorithm can approximate a quantum algorithm's acceptance probability with polynomially many queries. Queries count access to input data. This is not a claim that ordinary computers can replace every quantum computation in actual running time.

Humans remained responsible. David Turturean built the research system, scoped the problem and reviewed the paper. The repository says AI models produced the mathematical statements, first draft and Lean formalization. Readers can inspect the exact proof target. The recorded checks were run by the author's side, not independently reproduced, and the formalization does not automatically verify every explanation or quantum-computing consequence in the manuscript.

On November 8, Guy Blanc and three colleagues submitted a separate, 30-page exposition explaining their understanding of the proof; they also disclosed using public Anthropic models. Business Insider covered the result, as observed on November 13, 2026, at 15:59 Beijing time / 2:59 AM EST. This is a human–AI mathematical collaboration, not a new quantum chip. Total development time and computing costs were not disclosed.

Source times: PSI's announcement is dated November 6, 2026, without an exact publication time; the November 6 paper and November 8 exposition establish its recent timing. Original paper: November 7, 01:36:58 Beijing / November 6, 12:36:58 PM EST. Code and verification-document version commit: November 6, 10:47:20 Beijing / November 5, 9:47:20 PM EST, a repository commit time. Exposition: November 9, 05:17:01 Beijing / November 8, 4:17:01 PM EST. Business Insider: November 7, 08:49:10 Beijing / November 6, 7:49:10 PM EST.