Blog
|
EN
博文
论文
发现
动态
RSS
GitHub
动态
AIM 团队最新动态。
2026-06-22:人机协同推进量子算法研究,提出“符号嵌入量子算法”
2026-05-17:团队提出悲观验证方法,提升大模型数学证明检查能力
2025-11-07:AIM 辅助均匀化理论案例发布
2025-06-05:AIM 框架发布,面向数学前沿研究