aifollow.news
Automatically verified and published · Generated and evidence-checked automatically; not reviewed by a human.
Terence Tao says mathematicians wanted AI as a calculator, not a competitor. Citing work on Navier–Stokes, he argues that pursuing immediate solutions through automation can disrupt a field’s development, though he expects researchers eventually to understand the proof and return to the field.
陶哲轩对人工智能做数学的方式有意见，而这与证明是否正确毫无关系。😀
数学家希望人工智能是计算器，而不是竞争对手。
“所以，围绕纳维－斯托克斯方程曾有相当多的研究活动，而现在这一切都有些陷入混乱。最终我们会恢复过来。我想，最终我们会理解那个证明，人们最终也会回到这个领域，但完成这件事的方式非常欠妥。
我认为，有一种负责任的解题方式能够推动一个领域的发展；而另一种不负责任的方式，就是眼下这种对这些问题进行某种自动化的掠夺式开采：你达成了眼前的目标，却以损害这个领域未来的发展为代价。”
——陶哲轩
----
完整视频见《新科学家》YouTube 频道（链接在评论中）
Name a person, company or topic. We find the sources and gather every new development in your own tab.
