Original post · AI translation
完整视频见《New Scientist》YouTube 频道
特伦斯·陶对人工智能做数学的方式有意见，而这与证明是否正确无关。😀
数学家想要人工智能充当计算器，而不是竞争对手。
“所以，围绕纳维－斯托克斯问题曾有相当多的研究活动，而现在这一切都有点陷入混乱。最终我们会恢复过来。我认为，最终我们会理解那个证明，人们最终也会回到这个领域，但完成这件事的方式非常不理想。
我认为，有一种负责任的解题方式，能够推动一个领域发展；而另一种则是不负责任的方式，也就是这种正在出现的、某种程度上以自动化方式对这些问题进行掠夺式开采的做法：你达成了眼前的目标，却以损害该领域未来的发展为代价。”
——特伦斯·陶
----
完整视频见《New Scientist》YouTube 频道（链接在评论中）
Original
Terence Tao has a problem with how AI is doing math, and it has nothing to do with whether the proofs are correct. 😀 Mathematicians wanted AI as a calculator, not a competitor. "So, there was quite a lot of activity around Navier-Stokes, and now it’s all kind of in disarray. Eventually, we will recover. I think eventually we will understand that proof, and eventually people will come back into the field, but the way it was done was very suboptimal. I think there’s a responsible way to solve problems that develops a field, and then there’s this irresponsible way, which is this emerging, sort of automated strip mining of these problems, where you get your immediate goal but at the cost of damaging the future development of the field." - Terence Tao ---- Full video on "New Scientist" YouTube channel, (link in comment)