励建书与王坚对话：AI 与数学的双向赋能将把彼此带向何方

中科院院士励建书与工程院院士王坚就 AI 介入数学研究展开探讨，指出科学发现的重心正从提出假说转向验证与归因，数学与 AI 亟需建立双向赋能机制。励建书认为 AI 的跨学科整合能力有望改变数学研究范式，使数学家更聚焦原创思考，王坚则指出深层推理能力需要数学领域数据的支撑。针对学科融合，浙江大学数学高等研究院与之江实验室已联合发起未来数学计划，重点布局数学基础模型、形式化验证及底层机理研究。