原帖引用 · AI 翻译
Rohan Paul@rohanpaul_ai
陶哲轩对人工智能做数学的方式有意见，而这与证明是否正确毫无关系。😀
数学家希望人工智能是计算器，而不是竞争对手。
“所以，围绕纳维－斯托克斯方程曾有相当多的研究活动，而现在这一切都有些陷入混乱。最终我们会恢复过来。我想，最终我们会理解那个证明，人们最终也会回到这个领域，但完成这件事的方式非常欠妥。
我认为，有一种负责任的解题方式能够推动一个领域的发展；而另一种不负责任的方式，就是眼下这种对这些问题进行某种自动化的掠夺式开采：你达成了眼前的目标，却以损害这个领域未来的发展为代价。”
——陶哲轩
----
完整视频见《新科学家》YouTube 频道（链接在评论中）
· UTC+8