@rohanpaul_ai: Terence Tao has a problem with how AI is doing math, and it has nothing to do with whether the proofs are correct. Math…
Summary
Terence Tao criticizes how AI is being applied to mathematics, arguing that automated "strip mining" of problems like Navier-Stokes damages the long-term development of the field even when the proofs are correct.
View Cached Full Text
Cached at: 11/01/26, 05:56 PM
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)
Similar Articles
Terence Tao on “prematurely solving [a maths] problem by purely AI-powered methods”
Terence Tao discusses concerns about solving mathematical problems prematurely using purely AI-powered methods, a sentiment the author believes also applies to programming.
Tao: Open math problems being non-renewably mined by AI
Terence Tao discusses how AI is being used to address open mathematical problems, raising concerns about the non-renewable nature of these resources and their implications for future research.
Quoting Terence Tao
Mathematician Terence Tao warns that AI-driven efforts are rapidly solving research problems, threatening open science traditions and long-term scientific progress.
@rohanpaul_ai: Terence Tao on today's AI: "you look at how it's done and it doesn't feel like intelligence, like its some trick, you j…
Mathematician Terence Tao reflects on modern AI, arguing that current neural network systems feel like clever tricks rather than genuine intelligence, despite solving real problems, noting we still lack an elusive 'intelligent way of thinking' in tools that achieve our goals.
Terence Tao wants some mathematical problems kept off limits to AI solvers
Terence Tao argues that mathematical open problems should be preserved for human problem-solving to maintain uncontaminated benchmarks and develop new techniques, suggesting social norms to limit AI solvers in certain areas.