Terence Tao 批评 AI 解数学题的方式：像"露天开采"一样损害领域发展
陶哲轩聊 AI 解数学题，担心的不是证明对不对，而是把 Navier-Stokes 这类大问题"挖矿式"啃完后领域没人做了，观点挺少见的。
数学家 Terence Tao 在 New Scientist 的访谈中谈 AI 求解数学问题的方式。他提到围绕 Navier-Stokes 问题曾出现大量 AI 相关活动，如今该方向的进展陷入混乱。他认为问题不在证明是否正确，而在于这种"自动化露天开采"式解题只求眼前结果，却损害了数学领域的长期发展。他表示领域最终会恢复，人们终将理解那个证明。
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)
