数学机械化智能体
-
- 中国科学院数学与系统科学研究院发布“数学机械化智能体”
-
2026年7月6日上午，中国科学院数学与系统科学研究院举行“数学机械化智能体”（MechMath Agent Team，简称MMAT）成果发布会，中国科学院数学与系统科学研究院院长
2026-07-18 23:37:21
