Original post · AI translation
@IntuitMachine 😀
汝不可为获取想法而“露天开采”。
Original
Thou shalt not "strip-mine" for ideas.
陶哲轩对 AI 做数学研究的方式有意见，而这与证明是否正确无关。😀
数学家希望 AI 是计算器，而不是竞争对手。
“所以，围绕纳维－斯托克斯问题曾有相当多的研究活动，如今却有点乱了套。最终我们会恢复过来。我想，最终我们会理解那个证明，人们最终也会重返这个领域，但当时的做法非常不理想。
我认为，有一种负责任的解题方式能够推动一个领域发展；而另一种不负责任的方式正在出现，就是对这些问题进行某种自动化的‘露天开采’：你实现了眼前的目标，却以损害这个领域未来的发展为代价。”
——陶哲轩
----
完整视频见《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)