科研动态
中文
EN
科学研究
相关新闻
计算机数学核心理论、算法与软件
发布时间：2024-03-26 | 发布人：生物计算安全管理员
重点研发计划“数学与应用研究”专项指南 4.1
问题：
1. 非线性代数系统求解和自动推理面临计算效率和处理规模瓶颈
2. 定理证明的大语言模型推理不可信，自动化程度
解决方案：
1. AI赋能的数学研究正在成为一种新
2. 范式，在定理证明方向已取得进展
附件
© Copyright 生物计算安全重庆市重点实验室 渝ICP备2020013219号
