AI数学家，这次不只是来刷题的。 此前，清华大学智能产业研究院（AIR）院长刘洋教授团队，发布了一个面向数学研究的智能体系统—— 清华AIR团队 投稿 量子位 | 公众号 QbitAI AIM 。 与以往不少专注于解题的agent不同，AIM不只回答数学题，也试图参与更早一步的科研工作： 它能够帮助研究者发散思路、组织定理、生成证明草稿，并把这些内容交给人类继续审查。 而最近，围绕AIM，AIR-求真书院联培学生王彦桥、求真书院刘锦鹏助理教授，完成了一项由AI深度参与的前沿量子算法研究—— Sign Embedding Quantum Algorithms for Matrix Equations and Matrix Functions。 这项研究从一个模糊直觉开始：有理逼近，能不能成为一种量子算法设计原则？ AI与AIM被置于由人类研究者把关的研究闭环中，既参与探索与推导，也接受持续的审计、修订和整合。 在研究过程中，AI先帮人类研究者把候选路线铺开，再由人类筛选方向、审计假设、修复推导。AIM则在后续阶段参与定理组织、证明草稿生 成和复杂度分析。 最终，研究团队提出了 符号嵌入量子算法（Sign Emb ...