陶哲轩谈 AI 做数学的问题：自动化解题正在损害领域发展
Terence Tao has a problem with how AI is doing math, and it has nothing to do with whether the proofs are correct. 😀
Rohan Paul 转述陶哲轩对 AI 做数学方式的批评，指出问题不在证明是否正确。陶哲轩以 Navier-Stokes 相关研究为例，称当前局面已陷入混乱，这种自动化解题像对问题的露天开采，能拿到眼前目标，却以损害领域未来发展為代价。他认为存在一种能推动领域发展的负责任解法，与之相对的是这种不负责任的做法。
正文
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)