Aaronson-Ambainis 猜想获证明，更强变体一并证毕并附 arXiv
TuhinChakr · x · 2026-11-12
论文《A short proof of the Aaronson-Ambainis Conjecture via the completion framework》的 arXiv 版本正式发布。作者团队还证明了该猜想的更强变体，证明过程放在附录中。Aaronson-Ambainis 猜想是量子计算与计算复杂性理论中的重要猜想，此番短证明的问世对理论研究有实质意义。
「研究」频道最新
- 开源个性化 mRNA 癌症疫苗设计:为胰腺癌患者 Yash 而做 — xennygrimmato_ · 2026-11-12
- Georgia Tech 教授 Molei Tao 招收扩散语言模型方向博士生与博后 — gautamcgoel · 2026-11-12
- HF 研究员主张用效率增益指标取代最终 benchmark 分数 — eliebakouch · 2026-11-12
- 研究者提议:AI 进展评估应报告效率增益指标,而非只看最终跑分 — eliebakouch · 2026-11-12
- RoboCap-10k 发布：1 万小时带度量动作的开放式机器人数据集 — databoydg · 2026-11-12
- Google Research 用可穿戴设备做心血管-肾-代谢风险画像与个性化健康指导 — Google Research · 2026-11-12