在Science/AAAS与之江实验室共同举办的第六届智能计算创新论坛上，中国科学院院士励建书与中国工程院院士王坚共同启动“未来数学计划”，并围绕“AI+数学：变与不变”展开主题对话。该计划围绕AI与数学双向赋能，重点开展数学基础模型研发、形式化验证、AI数学机理研究及数学基础能力赋能其他学科四方面工作，并建立开放创新合作机制。
