RadarAI· X：Rohan Paul (@rohanpaul_ai)·· 2 小时前AI 评分55
陶哲轩批评 AI 求解数学问题的方式：问题不在证明正确性
AI 导读
陶哲轩在 New Scientist 视频中表示，数学家对 AI 做数学的不满与证明是否正确无关。他以 Navier-Stokes 相关活动陷入混乱为例，称这种达成眼前目标却损害领域未来发展的做法是「不负责任的自动化式露天开采」。Rohan Paul 转发了这一观点。
正文 · AI 翻译
Rohan Paul· @rohanpaul_ai · X·2026-11-01 21:16· 39 分钟前AI 评分56
AI 导读
Rohan Paul 转发陶哲轩的视频观点：数学家对 AI 做数学的不满与证明是否正确无关。陶哲轩称围绕 Navier-Stokes 的活动目前陷入混乱，最终会恢复并理解该证明，但这种做法非常不理想。他把这种模式称为对问题的不负责任的自动化式露天开采，即达成眼前目标却损害领域的未来发展。完整视频在 New Scientist YouTube 频道。
正文 · 原文
Terence Tao 对 AI 做数学的方式有意见，而这与证明是否正确无关。😀
数学家们想要 AI 当计算器，而不是当竞争者。
“所以，围绕 Navier-Stokes 有过相当多的活动，而现在一切都有些混乱。最终，我们会恢复过来。我认为最终我们会理解那个证明，最终人们会回到这个领域，但这样做的方式非常不理想。
我认为有一种负责任的方式来解决问题并发展一个领域，然后还有这种不负责任的方式，也就是这种新兴的、对这些问题进行自动化露天开采的方式，你达成了眼前的目标，却以损害该领域未来发展為代价。”
- Terence Tao
----
完整视频在“New Scientist”YouTube 频道，（链接在评论中）
来源：Rohan Paul · x.com
来源：RadarAI · aihot.news