动态

AIM 团队最新动态。
  1. 2026-09-03：AIM 辅助的无界系数滤波方程适定性研究发布
  2. 2026-08-26：广义模代数导子的研究成果发布
  3. 2026-06-22：人机协同推进量子算法研究，提出“符号嵌入量子算法”
  4. 2026-05-17：团队提出悲观验证方法，提升大模型数学证明检查能力
  5. 2025-11-07：AIM 辅助均匀化理论案例发布
  6. 2025-06-05：AIM 框架发布，面向数学前沿研究