一项基于 AI 的 Aaronson-Ambainis 猜想证明被宣布

一项基于 AI 的 Aaronson-Ambainis 猜想证明被宣布，该成果由研究人员利用大语言模型完成。证明过程展示了 AI 在理论计算机科学中的潜力，尤其在复杂数学问题的推理能力方面。该研究未提及具体模型名称、版本号或参数规模，但强调了 AI 推理工具在解决长期未解问题中的应用价值。