Latest
  1. OpenAI raises $11bn of its round at a $1.25tn valuation, Bloomberg reports
  2. Anthropic tests how Claude writes, checks and organises agent memory
  3. PSI says its research system proved the Aaronson-Ambainis conjecture
  4. USDA to use its AI tool to check the 10 November crop report
  5. Microsoft reportedly winds down its deal to rent AI cloud capacity from Oracle
  6. Claude trades on EVE Online and runs agent teams in EVE Frontier
  7. Dutch cabinet adopts its AI vision, Kiezen voor AI voor iedereen
  8. Nvidia reportedly requires Southeast Asian cloud partners to enrol in GPU tracking

Latest / Science and research

ResearchScienceFrontierInternationalConfirmed

PSI says its research system proved the Aaronson-Ambainis conjecture

See how this story connects

Source: PSIAlso reported by Unite.AI

PSI says its internal research system, running a non-public Anthropic model, found a proof of the Aaronson-Ambainis conjecture, open since 2008, and Lean, a proof assistant, accepted it. The system then improved the result twice, and Lean accepted the final version. Stanford’s Guy Blanc, Jordan Docter, Carmen Strassle and Li-Yang Tan are reading PSI’s proof and writing a shorter exposition for experts.

Why it matters

If PSI’s proof holds, quantum complexity researchers have a settled answer: on yes-or-no questions about random strings, a quantum computer gains no exponential saving unless the string has a rare pattern.

When
6 Nov 2026
ID
WTA-N-2026-0782
Who
Physical Superintelligence (PSI), Anthropic, Stanford University

Summary written with AI by wheresthe.ai, from PSI and the reporting credited above. Checked against the source on 6 Nov 2026.

Read the original at PSI

Source copy: saved on 6 Nov 2026 to check this story and not republished, because the text belongs to its publisher. Also held by the Internet Archive.

Earlier in this Storyline: What led hereOpenAI and Anthropic each say their models refuted the Exponential Time Hypothesis

Cite this story

WTA-N-2026-0782: “PSI says its research system proved the Aaronson-Ambainis conjecture.” wheresthe.ai, 6 Nov 2026. https://wheresthe.ai/d/intl-psi-says-its-research-system-proved-the-aaronson-ambain-2026-11/ (source: PSI).

Spotted an error? Email [email protected].