{
  "id": 18666381,
  "title": "Aaronson-Ambainis conjecture proved: an unreleased Anthropic model settles the 18-year-old quantum question, Lean-checked",
  "url": "https://urgent.news/2026/11/07/aaronson-ambainis-conjecture-proved-an-unreleased-anthropic-model",
  "topic": "ai",
  "section": "AI",
  "published": "2026-11-07T08:02:53.000Z",
  "source": {
    "name": "Dev.to",
    "slug": "dev-to",
    "url": "https://dev.to/aifrontierpost/aaronson-ambainis-conjecture-proved-an-unreleased-anthropic-model-settles-the-18-year-old-quantum-c3a"
  },
  "original_language": "en",
  "account": "Physical Superintelligence (PSI) announced that its research system, utilizing a non-public Anthropic model, has proven the Aaronson-Ambainis conjecture, an 18-year-old open problem in quantum computing. The Lean proof assistant verified the proof, which asserts that quantum computers cannot be exponentially faster than classical computers on random inputs. The conjecture, proposed by computer scientists Scott Aaronson and Andris Ambainis, explores the potential for quantum computers to achieve exponential speedups on random inputs, a question that has remained unresolved since 2008. The proof, developed by PSI's technical staff member David Turturean, shows that some bit has influence at least c·v5/2/d6, where c is approximately 0.0025. PSI and an independent Stanford group are currently verifying the formal statement.",
  "summary": "Originally published at https://aifrontierpost.com/articles/psi-anthropic-aaronson-ambainis-conjecture-proof/ An AI research system running an unreleased Anthropic model has proved the Aaronson-Ambainis conjecture, an 18-year-old open problem in quantum computing — and the Lean proof assistant has verified every step of the argument. TL;DR: Physical Superintelligence (PSI) announced on November…",
  "key_points": [],
  "editors_take": null,
  "illustration": null,
  "coverage": {
    "outlets": 3,
    "also_reported_by": [
      {
        "outlet": "Techmeme",
        "title": "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)",
        "url": "https://urgent.news/2026/11/06/ai-physics-startup-psi-says-a-system-running-a-non-public-anthropic",
        "published": "2026-11-06T19:35:01.000Z"
      },
      {
        "outlet": "Business Insider",
        "title": "An unreleased Anthropic model just helped solve a major quantum-computing question",
        "url": "https://urgent.news/2026/11/07/an-unreleased-anthropic-model-just-helped-solve-a-major-quantum",
        "published": "2026-11-07T00:49:10.000Z"
      }
    ]
  },
  "ai_generated": true,
  "disclaimer": "Summaries, key points and the editor’s take are written by software from other outlets’ reporting and may contain errors — always check the linked original."
}