陶哲轩谈 AI 做数学的问题：自动化解题正在损害领域发展
Terence Tao has a problem with how AI is doing math, and it has nothing to do with whether the proofs are correct. 😀
AI 导读
Rohan Paul 转述陶哲轩对 AI 做数学方式的批评，指出问题不在证明是否正确。陶哲轩以 Navier-Stokes 相关研究为例，称当前局面已陷入混乱，这种自动化解题像对问题的露天开采，能拿到眼前目标，却以损害领域未来发展為代价。他认为存在一种能推动领域发展的负责任解法，与之相对的是这种不负责任的做法。
正文 · AI 翻译
陶哲轩对 AI 做数学的方式有意见，而这与证明是否正确毫无关系。😀
数学家想要的是把 AI 当作计算器，而不是竞争对手。
“所以，围绕 Navier-Stokes 方程曾有过相当多的研究活动，而现在这一切多少陷入了混乱。最终，我们会恢复过来。我认为最终我们会理解那个证明，最终人们也会回到这个领域，但这件事的做法非常不理想。
我认为存在一种负责任的解题方式，能够推动一个领域的发展；而与之相对的是一种不负责任的方式，也就是这种正在兴起的、对这些问题近乎自动化的露天开采式做法——你能得到眼前的目标，代价却是损害该领域的未来发展。”
——陶哲轩
----
完整视频见“New Scientist”YouTube 频道（链接见评论）