**AI 驱动证明 Aaronson-Ambainis 猜想：量子复杂性理论新突破**

_An AI-driven proof of the Aaronson-Ambainis conjecture was announced_

> 一项由人工智能驱动的研究宣布证明了 Aaronson-Ambainis 猜想，该猜想是量子复杂性理论领域的核心命题。这一成果标志着 AI 在解决基础科学难题上的重大进展，展示了机器学习在数学证明中的强大潜力。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：论文
- **发布时间**：2026-11-12 06:09（北京时间）
- **原文**：[打开原文](https://bigthink.com/starts-with-a-bang/ai-proved-quantum-complexity-conjecture)