Rohan Paul
@rohanpaul_ai
陶哲轩对人工智能如何做数学有疑问，这与证明是否正确无关。 😀
数学家希望人工智能成为计算器，而不是竞争对手。
“所以，围绕纳维-斯托克斯有相当多的活动，现在一切都陷入混乱。最终，我们会恢复。我认为最终我们会理解这个证据，最终人们会回到这个领域，但完成的方式非常次优。
我认为有一种负责任的方式来解决发展一个领域的问题，然后还有一种不负责任的方式，即这种新兴的、自动化的露天采矿方式，你可以实现眼前的目标，但代价是损害该领域的未来发展。”
——陶哲轩
----
完整视频位于“New Scientist”YouTube 频道（评论中的链接）
