之江实验室与浙大数学高研院发起未来数学计划
事件综述根据 3 篇报道整理，10月19日更新
中国科学院院士、浙江大学数学高等研究院院长励建书与中国工程院院士、之江实验室主任王坚共同发起“未来数学计划”，10月14日在Science/AAAS与之江实验室共同举办的第六届智能计算创新论坛上启动。 该计划围绕AI与数学双向赋能，重点开展四方面开放创新：研发数学基础模型、开展形式化验证研究、研究AI背后的数学机理、推动数学基础能力赋能其他学科。励建书称，该计划意在建立完全开放、不依赖单一公司的“AI+数学”创新共同体。 励建书在同场对谈中提出，AI赋能下数学研究范式可能改变，单纯为发表论文的研究价值将大幅下降，对顶尖数学家的需求会大大增加；他还指出，面向AI的数学基础研究仍滞后，AI目前主要靠工程师推动。目前尚无该计划的具体实施安排或成果。
综述由模型根据报道生成，细节以各篇原文为准。
进展时间线
北京时间，最早在上全部报道
3 篇，点开看摘要励建书院士：AI赋能之下需要更多一流数学家
在第六届智能计算创新论坛上，中国科学院院士励建书提出，AI赋能下数学研究范式可能改变，单纯为发表论文的研究价值将大幅下降，对顶尖数学家的需求会大大增加。他倡导启动“未来数学计划”，建立完全开放、不依赖单一公司的“AI+数学”创新共同体。他还指出Math for AI的数学基础研究仍滞后，AI目前主要靠工程师推动。
阅读这篇报道一周热闻回顾：李仁科教授辞世、CCF青年科技奖揭晓与“未来数学计划”启动
2026年10月18日一周热闻回顾：多伦多大学终身荣誉教授李仁科10月10日在西安出席学术会议期间辞世，享年65岁；清华大学朱军、甘霖等6人获2026年度“CCF青年科技奖”。励建书与王坚10月14日在第六届智能计算创新论坛上共同启动“未来数学计划”，聚焦AI与数学双向赋能。
阅读这篇报道励建书、王坚共同发起“未来数学计划”，聚焦AI与数学双向赋能
10月14日，在Science/AAAS与之江实验室共同举办的第六届智能计算创新论坛上，中国科学院院士励建书与中国工程院院士王坚共同启动“未来数学计划”。该计划围绕AI与数学双向赋能，重点开展四方面开放创新：研发数学基础模型、开展形式化验证研究、研究AI背后的数学机理、推动数学基础能力赋能其他学科。
阅读这篇报道