院士启动“未来数学计划”
发生了什么
据科技日报报道，10月14日，中国科学院院士励建书与中国工程院院士王坚在杭州共同启动“未来数学计划”。该计划由《科学》杂志/美国科学促进会与之江实验室联合举办。两位院士认为AI与数学是双向赋能关系：AI拓展数学研究疆域，数学决定AI能力天花板。计划将围绕研发数学基础模型、开展形式化验证、研究AI背后的数学机理及推动数学赋能其他学科四方面展开，并建立完全开放的合作机制。
报道与来源
1 篇发布方数量不等于独立核验数量。同稿的多个入口保留在对应报道中。
- 科技日报·要闻滚动来源报道
“未来数学计划”：一场AI与数学的双向奔赴
来源关系与证据边界
按已记录的来源角色展示；连线仅表示原生身份流程确认的同稿入口，不表示独立佐证或跨报道引用。
- 来源报道1 个发布入口