aifollow.news
Back Rohan Paul
Rohan Paul· @rohanpaul_ai · X· · Original publication time AI score13

Terence Tao criticizes how AI solves math problems, warning of harm to the fieldMachine translation

Automatically verified and published · Generated and evidence-checked automatically; not reviewed by a human.

AI introduction

Discussing work on Navier-Stokes, Terence Tao said the concern is not whether proofs are correct: automated problem solving may achieve an immediate goal while hindering researchers’ understanding of a proof and the field’s future development. He argued that a responsible approach should also develop the field.

Original post · AI translation

@rohanpaul_ai
Translation · refer to the original

@KevinBCook 💯

ReplyKevin Brent Cook@KevinBCook
Translation
人们可能会对超级智能产生抵触情绪吗? 我认为,大多数人欢迎它应用于医学和工程领域。 为什么数学领域不行?我理解,这会让数学家失去一些探索的兴奋感、勤勉钻研的过程和其中的乐趣。 但也许那些适应它的人会解决物理学各领域更重大的问题。
Original

A potential backlash against super intelligence? I think most welcome it in medicine and engineering. Why not maths? I get that it takes away some thrill of pursuit, diligence, and joy from mathematicians. But maybe those who adapt will solve bigger problems across physics.

View this post on X ↗
Related contextRohan Paul@rohanpaul_ai
Translation
特伦斯·陶对 AI 做数学题的方式有意见,而这与证明是否正确毫无关系。😀 数学家希望 AI 是计算器,而不是竞争对手。 “所以,围绕纳维-斯托克斯问题曾有相当多的研究活动,而现在这一切多少陷入了混乱。最终我们会恢复过来。我认为,最终我们会理解那个证明,也终究会有人重返这一领域,但完成这件事的方式很不理想。 我认为,解决问题有一种负责任的方式,能够推动一个领域发展;而另一种是不负责任的方式,也就是这种正在出现的、某种程度上自动化地掠夺式开采这些问题的做法:你实现了眼前的目标,却以损害该领域未来的发展为代价。” ——特伦斯·陶 ---- 完整视频见《新科学家》YouTube 频道(链接在评论中)
Original

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)

View this post on X ↗

Source: Rohan Paul · x.com

Opinion
Found an error? Send a correction