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