IXThinker·2026-07-11 14:20

清華推出AI數學智能體 參與科研全流程

清華大學智能產業研究院團隊發布面向數學研究的智能體系統AIM，定位並非解題工具，而是科研協作者：協助研究者發散思路、組織定理、生成證明草稿，再交由人類審查優化，並已深度參與一項量子算法前沿研究。

不止於刷題

過往不少數學AI集中於答題與競賽表現，AIM則把目標放到更前端的科研環節，協助人類研究者構思想法、整理定理結構與撰寫證明草稿，輸出全部經人類審查修改，強調人機協同而非自動完成。