Wolfram 创始人驳 AI 取代纯数学研究
推荐指数 38.0 NO. 012 · 2026.10.05
发布2026/10/04Score52Comments36
为什么值得看
Stephen Wolfram 发文反驳"AI 将取代人类数学研究"的观点，指出当前对 AI 数学能力的炒作存在对数学本质和 AI 能力的双重误解。他援引 1988 年 Mathematica 发布时类似预言并未成真的历史，提醒从业者区分计算辅助与真正数学发现的边界。
编辑判断
Wolfram 选择此时发声并非偶然——DeepMind 的 AlphaProof 和各类 LLM 数学基准测试正密集刷屏，投资界开始追问"数学博士是否还有价值"。他的核心论点被很多人忽略：当前 AI 解决的数学问题本质上是"可计算化"的封闭问题，而现代数学研究的核心是定义新问题、建立新框架，这恰恰是 AI 无法自主完成的。
对 AI 工程师的实际提醒是：如果你在做 AI4Science 或形式化验证方向，别把"能解竞赛题"等同于"能做研究"，前者是自动化后者是认知革命，产品定位错了会浪费大量算力在错误赛道上。关注 Lean、Coq 等证明助手社区的真实采用曲线，比看基准测试排名更有价值。
社区反馈
意见分歧 33 条评论
核心争论：AI能否真正创造新数学知识，还是仅是计算辅助工具
Some arguments are based on "past experience..." However, such experiences are not absolute truths and cannot be equated with the current situation.
I think the big question is whether these recent gains continue. It’s entirely plausible that the ai firms are going to run out of human trainers capable of further refining the model. It’s also possible we are on the cusp of real superintelligence.
Read by the author https://www.youtube.com/live/gPrWX8i1htM (with multiple mentions of the Wolfram language and such)