先了解这件事
AI 综述
2026年10月30日,科学网刊发对谈报道,提及浙江大学数学高等研究院与之江实验室共同发起未来数学计划。报道称,该计划围绕数学基础模型、形式化验证、AI数学机理和跨学科赋能四方面展开。中国科学院院士励建书在报道中表示,AI可能改变数学研究范式,并指出数学为AI做得远远不够;中国工程院院士王坚认为,AI的推理能力目前主要来自代码,从数学数据中学到更深推理将带来更大增益。报道还提到,谷歌DeepMind的AI智能体今年5月解决9个此前未解的厄多斯问题并攻克44个开放数学猜想,OpenAI近日在GitHub公开722篇由内部AI模型生成的数学手稿,陶哲轩、邓煜等25位菲尔兹奖得主联名发表公开信警告AI与数学出现严重错位。目前该计划尚无进一步进展披露。
AI 根据公开报道生成
最新进展 · 正式报道
励建书、王坚谈AI与数学：从答案过剩到双向赋能事件进展
1 个已确认进展
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
10月30日
科学网
励建书、王坚谈AI与数学：从答案过剩到双向赋能
科学网记者采访中国科学院院士励建书和中国工程院院士王坚，讨论AI进入数学研究后的争议与走向。文章提到，谷歌DeepMind的AI智能体今年5月解决9个此前未解的厄多斯问题并攻克44个开放数学猜想，OpenAI近日在GitHub公开722篇由内部AI模型生成的数学手稿，陶哲轩、邓煜等25位菲尔兹奖得主联名发表公开信警告AI与数学出现严重错位。励建书认为AI可能改变数学研究范式，并指出数学为AI做得远远不够；王坚认为AI的推理能力目前主要来自代码，从数学数据中学到更深推理将带来更大增益。两人所在的浙江大学数学高等研究院与之江实验室共同发起未来数学计划，围绕数学基础模型、形式化验证、AI数学机理和跨学科赋能四方面展开。