两院院士启动“未来数学计划”聚焦AI数学基础研究
10月14日，在Science/AAAS与之江实验室共同举办的第六届智能计算创新论坛上，中国科学院院士励建书与中国工程院院士王坚共同启动“未来数学计划”，并围绕“AI+数学：变与不变”展开主题对话。
据介绍，该计划围绕AI与数学双向赋能，重点开展四方面工作：研发数学基础模型，使模型具备整合各数学分支知识的能力，并推动数学推理成为科学基础模型的底层能力；开展形式化验证研究，使AI生成的数学内容可验证、可累积、可复用；研究AI背后的数学机理，从原理上解释AI模型的学习、泛化、长链条推理等关键问题；推动数学基础能力赋能其他学科，探索将数学理论融入跨学科科学研究。
励建书表示，面对AI对数学研究的影响，个体可能会有失落感，但整个数学的未来令人振奋。王坚认为，人工智能与数学的深度结合不仅可能改变数学研究，也会把人工智能带入新阶段；当AI能从数学中学到更深层次的推理能力，对其他科学领域的影响也将扩大。
励建书介绍，浙江大学数学高等研究院与之江实验室的实质性合作已经开始。“未来数学计划”将建立完全开放的创新合作机制，欢迎科研机构、数学研究团队、民营企业及个人参与，共同探索AI与数学深度融合发展的新路径。
- 2026-10-16 03:27 | 新浪：第六届智能计算创新论坛开幕阅读原文
第六届智能计算创新论坛开幕 【#第六届智能计算创新论坛开幕#】第六届智能计算创新论坛昨天在之江实验室开幕。以“计算依靠智能，计算为了智能”为主题，设置2场主论坛、4场平行论坛及青年学者交流等系列活动，通过主旨报告、圆桌对话、专题研讨等形式，共同探讨“人工智能+科学”的前沿趋势与最新进展。 Video Player is loading.00:18/00:25当前音量:0%Loaded: 100.00%03:31 50% 75% 100% 特别声明：以上文章内容仅代表作者本人观点，不代表新浪网观点或立场。如有关于作品内容、版权或...
- 2026-10-15 13:41 | 新浪：励建书、王坚，共同发起“未来数学计划”阅读原文
10月14日，在Science/AAAS与之江实验室共同举办的第六届智能计算创新论坛上，中国科学院院士、浙江大学数学高等研究院院长励建书，中国工程院院士、之江实验室主任王坚共同启动“未来数学计划”，并围绕“AI+数学：变与不变”展开主题对话。 据介绍，“未来数学计划”围绕AI与数学双向赋能，将重点开展四个方面的开放创新：一是研发数学基础模型，让模型具备整合各个数学分支知识的能力，同时推动数学推理能力成为科学基础模型的底层能力。二是开展形式化验证研究，让AI生成的数学内容可验证、可累积、可复用，为可靠的数学推理及前沿问题探索提供支撑。三是研究AI背后的数学机理。探索从原理上解释AI模型的学习、...