AINewsnow

AI system produces machine-checked proof of Aaronson-Ambainis conjecture

This story is from 2026-11-06. It is preserved in the archive; the latest stories are on the live feed.

Physical Superintelligence announced on November 6, 2026 that an internal research system running an unreleased Anthropic model proved the Aaronson-Ambainis quantum-speedup conjecture, open since 2008, with every step verified by a Lean proof assistant.

Read the full story at Business Insider AI ↗

Timeline · 5 reports

  1. 2026-11-08 00:38 · r/artificial
    An AI system just proved an 18-year-old quantum conjecture — and Lean checked every step
  2. 2026-11-07 08:02 · DEV Community — Machine Learning
    Aaronson-Ambainis conjecture proved: an unreleased Anthropic model settles the 18-year-old quantum question, Lean-checked
  3. 2026-11-07 03:13 · DEV Community — AI
    An AI Proved an 18-Year-Old Math Conjecture in Three Days
  4. 2026-11-07 00:49 · Business Insider AI
    An unreleased Anthropic model just helped solve a major quantum-computing question
  5. 2026-11-06 19:55 · Unite.AI
    PSI Reports Machine-Checked Proof of Aaronson-Ambainis Conjecture

More stories

  1. AI system proves 18-year-old quantum computing conjecture with Lean verification — Business Insider AI
  2. Anthropic launches Claude Fable 5.2 and Mythos 5.2 with 20% price cut — Anthropic (X)
  3. Agent CLI ecosystem matures as Claude Code and Codex usage, skills and workflows expand — DEV Community — AI
  4. IBM and Cisco to Integrate Anthropic's Claude Mythos Cyber Reasoning into Security Products — Mixture of Experts (IBM)
  5. DeepSeek's Harness agent app reaches 1.54 million daily users — Bloomberg AI
  6. Anthropic commits $3.4 billion to gas generators for AI data centers — Bloomberg AI
  7. Anthropic's Claude Fable 5.2 Tops Benchmarks While Cutting Prices 20% — AlphaSignal
  8. Jensen Huang dropped from lineup at Anthropic CEO forum — Business Insider AI

Get the daily brief of stories like this at 6:30 every morning →