陶哲轩：AI 做数学的问题不在证明正确性

陶哲道对 AI 做数学的方式感到头疼，而这与证明是否正确毫无关系。😀

数学家们希望 AI 充当计算器，而不是竞争对手。

“所以，当时围绕纳维-斯托克斯方程有相当多的研究活动，而现在一切都有些乱套了。我们最终会恢复的。我想，我们最终会理解那个证明，人们最终也会回到这个领域，但采用的方式非常 suboptimal。

我认为，解决问题有一种负责任的方式，能够推动一个领域的发展；也有一种不负责任的方式，就是这种新兴的、某种自动化开采这些问题的做法：你能达成眼前的目标，但代价是损害这个领域未来的发展。”

——陶哲道

----

完整视频见“新科学家”YouTube 频道（链接在评论区）