Back to News

AI system using non-public Anthropic model proves Aaronson-Ambainis conjecture

#ai#quantum computing#mathematics#anthropic

AI physics startup PSI reported that a system running a non-public Anthropic model proved the Aaronson-Ambainis conjecture, a quantum computing question open since 2008. The conjecture, proposed by Scott Aaronson and Andris Ambainis, is now a theorem according to PSI.

Coverage timeline

  1. Techmeme
    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)

    PSI : 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 — The Aaronson-Ambainis conjecture is now a theorem. — Open since 2008, the conjecture of Scott Aaronson and Andris Ambainis concerns …

Related stories

  • Mysterious startup PSI claims AI-assisted proofs for 5 open quantum problems

    Physical Superintelligence (PSI), a company publicly launched on September 1, 2026, announced AI-assisted solutions to five open problems in quantum information theory, drawn from the Open Quantum Problems (OQP) directory established by Reinhard Werner in 1999. The problems span entanglement distillation, quantum field theory, high-dimensional quantum communication, quantum channel capacity, and quantum causality, with papers, Lean formal proofs, and verification code posted on GitHub for review. Three of the problems (OQP 2, OQP 12, OQP 27) date from the early 2000s, and PSI claims this is its first achievement toward building 'the world's most advanced physics research laboratory'.

    1 reports · 1 sources

  • OpenAI claims disproof of Exponential Time Hypothesis, plus math and physics results

    OpenAI announced three new discoveries in mathematics, computer science, and physics, including a claimed disproof of the Exponential Time Hypothesis (ETH), a conjecture widely believed for nearly 30 years. The results cover local smoothing for the Euclidean wave equation, the Kakeya conjecture in four dimensions, and a rigorous mathematical existence proof for four-dimensional quantum field theories including quantum chromodynamics. External experts guided the results, and materials were released on GitHub for verification.

    5 reports · 5 sources1153 points · 701 comments

  • Anthropic files S-1 for Nasdaq IPO under ticker ANT

    Anthropic publicly filed its S-1 with the SEC on October 26, 2026, for a Nasdaq listing under the ticker ANT, with share count and price range undetermined. The 335-page prospectus reveals H1 2026 revenue of $16.29 billion, an $80.75 billion net loss, over 11,900 customers spending $100K+ annually, and long-term compute commitments exceeding $500 billion, alongside an unusual governance structure preserving founder control.

    33 reports · 8 sources1703 points · 1674 comments

  • Anthropic reportedly preparing model with superior reasoning and intent inference

    The Information reports, citing a source who has tested the model, that Anthropic is preparing a new model whose reasoning and intuitive judgment exceed its current commercial models. The model is said to infer unstated user intentions, such as identifying a class of underlying bugs from a single bug-fix request and asking whether to address them all. The report also notes Google is developing a model codenamed Gemini 4 Carbon and OpenAI plans a new product possibly in the Terra series within weeks.

    2 reports · 2 sources

News updates every hour. Subscribe in your RSS reader to get new stories automatically.

Subscribe