Tag
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.
Leading number theorists are growing increasingly confident in OpenAI's AI-generated proof of the quasi-Riemann hypothesis, with Terence Tao publishing an exposition of a related simplification by Ben Green, marking a notable shift toward mathematicians independently evaluating AI-produced frontier mathematics.
菲尔兹奖得主陶哲轩呼吁数学界进入"战时状态"，以应对AI生成内容与潜在的数学研究危机。
In a Numberphile interview, Fields Medalist Terence Tao discusses mathematics entering an industrialized era, moving from “proof scarcity” to “proof abundance,” the misalignment of incentives between AI companies and academia, and the risk of human understanding being sidelined.
Terence Tao presents "Math 2.0" slides from a Caltech 2026 talk, discussing how AI and formal methods are set to transform mathematical research and proving.
网友吐槽陶哲轩为质疑AI而设计的“AI研发抗癌药但机制不明”的思想实验，认为其忽视了生物医学中很多药物本就机制不清的现实，提醒做思想实验不要脱离自己的熟悉领域。
A commentary essay drawing an analogy between AI's rapid, disruptive scientific discoveries—such as OpenAI tackling Millennium Prize problems in mathematics—and the 'roadside picnic' metaphor from the Strugatskys' novel, where incomprehensible artifacts are dumped on fields faster than they can be understood or integrated.
评论文章指出，AI 在数学领域造成的影响远比编程或设计等其他领域更为彻底和剧烈——数学问题非解即未解，没有模糊空间，这使得多年培养的数学家技能可能迅速贬值。
菲尔兹奖得主 Terence Tao 就 OpenAI 发布电影生成模型一事发表讽刺性评论，戏称其“发布了 500 部未公开电影的最后十分钟，开创观影新时代”，文中并附有额外点评。
The Association for Human Mathematics published a statement — reposted on Terence Tao's blog — condemning OpenAI's October 6 release of purported solutions to open math problems, accusing the company of ignoring the Advisory Group on Mathematics and AI's guidance, and urging mathematicians to stop working with OpenAI.
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.
A tweet from @cloneofsimo argues for accelerating AI development to address global crises, in response to a quote from mathematician Terence Tao emphasizing the need to slow down AI due to its rapid and unprecedented pace.
Mathematician Terence Tao urges slowing down AI development, stating the current pace is excessive and unnecessary. The content references a comment from OpenAI's Tibo about fear.
A Twitter user shared a prompt that uses Terence Tao's 'dumb questions' method to stress-test any plan by asking critical questions to uncover hidden assumptions and improve understanding.
The article discusses how AI's rapid advancements in solving major mathematical problems are causing an existential crisis in the field, prompting reflections on the human role in math research at the International Congress of Mathematicians.
Mathematician Terence Tao warns that AI-driven efforts are rapidly solving research problems, threatening open science traditions and long-term scientific progress.
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.
Reports suggest a potential breakthrough in the Navier-Stokes equations by Tristan Buckmaster and Levent Alpoge, with Terence Tao commenting, and OpenAI involved in a controversy over a claimed proof.
Terence Tao discusses concerns about solving mathematical problems prematurely using purely AI-powered methods, a sentiment the author believes also applies to programming.
This article summarizes the six fundamental concepts of mathematics explained by mathematician Terence Tao in a Big Think interview, including numbers, algebra, geometry, probability, and more, exploring their historical development and applications.