AI 证明 Aaronson–Ambainis 猜想:量子计算无指数黑盒加速

理论计算机科学家 Lance Fortnow 宣布,2009 年由 Scott Aaronson 与 Andris Ambainis 提出的 Aaronson–Ambainis 猜想已被 AI 证明。该结果确认了 90 年代以来的结论:对于非结构化黑盒问题,量子算法不存在指数级加速。Scott Aaronson 本人在博客发文确认此事,并表示惊讶于该猜想此前竟然一直未被证明。

2026-11-09 ~ 2026-11-09 · 2 条相关