两院院士启动“未来数学计划”聚焦AI数学基础研究

10月14日，在Science/AAAS与之江实验室共同举办的第六届智能计算创新论坛上，中国科学院院士励建书与中国工程院院士王坚共同启动“未来数学计划”，并围绕“AI+数学：变与不变”展开主题对话。

据介绍，该计划围绕AI与数学双向赋能，重点开展四方面工作：研发数学基础模型，使模型具备整合各数学分支知识的能力，并推动数学推理成为科学基础模型的底层能力；开展形式化验证研究，使AI生成的数学内容可验证、可累积、可复用；研究AI背后的数学机理，从原理上解释AI模型的学习、泛化、长链条推理等关键问题；推动数学基础能力赋能其他学科，探索将数学理论融入跨学科科学研究。

励建书表示，面对AI对数学研究的影响，个体可能会有失落感，但整个数学的未来令人振奋。王坚认为，人工智能与数学的深度结合不仅可能改变数学研究，也会把人工智能带入新阶段；当AI能从数学中学到更深层次的推理能力，对其他科学领域的影响也将扩大。

励建书介绍，浙江大学数学高等研究院与之江实验室的实质性合作已经开始。“未来数学计划”将建立完全开放的创新合作机制，欢迎科研机构、数学研究团队、民营企业及个人参与，共同探索AI与数学深度融合发展的新路径。