原帖引用 · AI 翻译
@NextTokenParrot 😃
@rohanpaul_ai 有些真相需要一段时间才能让人真正领会。https://t.co/eH88163JYC
原文
@rohanpaul_ai Some truths take a while to sink in. https://t.co/eH88163JYC
陶哲轩对 AI 做数学研究的方式有意见，而这与证明是否正确无关。😀
数学家想要 AI 充当计算器，而不是竞争对手。
“所以，围绕纳维–斯托克斯方程曾有大量研究活动，而现在一切都有些乱了套。最终，我们会恢复过来。我认为，我们最终会理解那个证明，人们最终也会回到这个领域，但完成这件事的方式非常不理想。
我认为，解决问题有一种负责任的方式，能推动一个领域的发展；也有一种不负责任的方式，就是眼下这种对这些问题近乎自动化的掠夺式开采：虽然达成了眼前的目标，却以损害这个领域未来的发展为代价。”
——陶哲轩
----
完整视频见“New Scientist”YouTube 频道（链接在评论中）
原文
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)