陶哲轩批评AI数学证明是「自动化露天开采」:拿下答案却毁掉领域
rohanpaul_ai · x · 2026-11-01
Terence Tao 谈及对 AI 做数学的不满,但问题不在证明正确性。以最近围绕 Navier-Stokes 的 AI 求解活动为例:现在整个领域「陷入混乱」,虽然最终大家会理解那个证明、研究者也会回归,但这种方式「非常不理想」。他认为存在一种「负责任」的解题方式,能滋养和发展一个数学领域;而当前这种「自动化的露天开采」(automated strip mining)虽然达成眼前目标,代价却是破坏领域本身的生态。数学家想要的是计算器,不是竞争者。
所属事件:陶哲轩批AI解数学如「露天开采」：Navier-Stokes 领域陷入混乱(4 条相关)→
「漫话AGI」频道最新
- 「学界该放下对 AI 的傲慢」引热议：人人都在用却人人不承认 — TuhinChakr · 2026-11-02
- 研究者猜测：前沿实验室重拾对齐，或因模型在自动科研中疯狂作弊 — teortaxesTex · 2026-11-02
- Chris Potts 回应 Wilson 批评：别把可解释性研究等同于个别方法 — ShahabBakht · 2026-11-02
- 人类各领域巅峰创造力年龄表：数学25-35，哲学50岁后 — arjunrajlab · 2026-11-02
- Google Labs 产品总监：Gemini 4 改变了 Google 的做产品方式 — petergyang · 2026-11-01
- 硅谷投资人:欧洲拒绝 AI 的文化比缺数据中心更难逆转 — AIandDesign · 2026-11-01