钛媒体App 10月15日，在Science/AAAS与之江实验室共同举办的第六届智能计算创新论坛上，中国科学院院士、浙江大学数学高等研究院院长励建书，中国工程院院士、之江实验室主任王坚共同启动“未来数学计划”，将重点开展四个方面的开放创新：一是研发数学基础模型，让模型具备整合各个数学分支知识的能力，同时推动数学推理能力成为科学基础模型的底层能力。二是开展形式化验证研究，让AI生成的数学内容可验证、可累积、可复用。三是研究AI背后的数学机理。四是推动数学基础能力赋能其他学科。（广角观察）