清华AI数学家来了！从想法一路推到定理，参与完成84页量子算法论文

AI数学家，这次不只是来刷题的。此前，清华大学智能产业研究院（AIR）院长刘洋教授团队，发布了一个面向数学研究的智能体系统—— AIM。与以往不少专注于解题的agent不同，AIM不只回答数学题，也试图参与更早一步的科研工作： 它能够帮助研究者发散思路、组织定理、生成证明草稿，并把这些内容交给人类继续审查。AI数学能力正在从“解题”走向“研究” 近年来，AI在数学推理、算法搜索、猜想检验和证明辅助等方向持续取得进展。需要说明的是，早期依赖通用AI对话完成的路线发散、候选方向组织和比较功能，已经在后续AIM v2中进一步沉淀为系统化能力。