人工智能再次攻克基础科学堡垒。物理超智能公司（PSI）周五宣布，其利用Anthropic一款尚未发布的模型，成功证明了困扰量子计算学界多年的Aaronson-Ambainis猜想。
这一猜想自2008年提出以来一直悬而未决，核心在于界定量子计算机相较于传统计算机实现显著加速的具体条件。PSI表示，其开发的包含Anthropic模型的研究系统在三天内完成了证明，“确立了量子计算中最基本的问题之一”。
PSI技术团队成员David Turturean开发了该系统。尽管目前尚不清楚具体使用了哪款未发布模型，且Anthropic未回应置评请求，但这项成果已引发学界震动。PSI指出，该证明表明量子计算的指数级优势依赖特定模式或结构，揭示了量子计算机的局限性，尽管其在特定任务中仍具重大升级潜力。
此前参与该问题研究的斯坦福大学学者Guy Blanc、Jordan Docter、Carmen Strassle和Li-Yang Tan评价称，这是一项“巨大的成果”，解决了一个困扰学界数十年的问题，“一切以一种近乎神奇的方式汇聚在一起”。
AI冲击下的数学界
此次突破是AI辅助数学领域的又一里程碑。今年9月，OpenAI曾宣布解决存在90年的纳维-斯托克斯方程难题。随着AI不断渗透基础科研，从业者的职业预期正在发生转变。
加州大学洛杉矶分校著名数学教授陶哲轩上月坦言，数学的“浪漫时代”已经结束，“我们正进入一个充满令人兴奋的新可能性的时代，但同时也失去了一些东西”。
这种焦虑在学生群体中尤为明显。麻省理工学院对研究生和博士后的调查显示，76%的受访者表示毕业后不太可能留在学术界从事数学工作，同等比例的人认为AI的发展降低了他们从事研究的动力。