励建书与王坚共同发起“未来数学计划”

中国科学院院士励建书与中国工程院院士王坚于10月14日共同启动“未来数学计划”，推动AI与数学双向赋能。该计划重点开展研发数学基础模型、形式化验证、研究AI背后的数学机理以及赋能其他跨学科研究四个方向。浙江大学数学高等研究院与之江实验室已展开实质性合作，旨在建立完全开放的“AI+数学”创新共同体。