# Aaronson-Ambainis Conjecture proved! (By AI, of course)

Source: [Shtetl-Optimized](https://scottaaronson.blog/?p=10295) · 2026-11-08 · Computing
Page: https://themorning.science/story/aaronson-ambainis-conjecture-proved-by-ai-of-course-d0a8f1124ddcd58e
Kind: research · Impact: medium

## In brief

- A blog post by Scott Aaronson reports that the Aaronson-Ambainis conjecture has been proved, with AI assistance.
- The post says several longstanding open problems in quantum computing theory and theoretical computer science are being resolved, and that the author cannot cover each one.
- The excerpt available here does not include the proof details or an independent verification.

## Why it matters

If confirmed, a proof of a long-standing open problem in quantum computing theory would be a notable result, and its AI-assisted origin raises questions about how such research is produced and checked.

## Timeline

- 2026-11-08: Scott Aaronson's blog post reports the conjecture proved with AI

## Coverage

- [Aaronson-Ambainis Conjecture proved! (By AI, of course)](https://scottaaronson.blog/?p=10295) — Shtetl-Optimized, 2026-11-08

Tags: quantum computing, complexity theory, ai-assisted research, open problems

---

Brief generated by AI (claude-haiku-5-5) from the reporting listed under Coverage. Headlines belong to their publishers. The Morning Science – https://themorning.science