1. 2026-06-22:人机协同推进量子算法研究,提出“符号嵌入量子算法”
  2. 2026-05-17:团队提出悲观验证方法,提升大模型数学证明检查能力
  3. 2025-11-07:AIM 辅助均匀化理论案例发布
  4. 2025-06-05:AIM 框架发布,面向数学前沿研究