Mathematician Terence Tao explains how AI could reshape math research by enabling division of labor. Until now, mathematicians had to do everything themselves: framing problems, building strategies, executing them, verifying results, and writing them up. Unlike industry or the natural sciences, specialization was never an option in math, Tao explains.
AI and formal verification could change that by filling skill gaps in collaborations, Tao says. But if AI generates strategies without verifying them, the result is a flood of untested ideas. A new style of math only works when automation advances across several areas at once. Tao sees humans as essential because AI performance is uneven—a principle that likely applies to many other fields, too.
The level of automation and AI power that you can profitably use before it becomes slop is roughly proportionate to how stringent your verification is.
Terence Tao
It seems like the field is moving toward Tao's vision of "industrial mathematics": instead of solo researchers grinding away for years, large AI-supported teams could pursue broader but shallower research. AI crunches billions of data points, while humans make "inspired guesses" from a handful of observations.
Subscribe to THE DECODER for ad-free reading, a weekly AI newsletter, our exclusive "AI Radar" frontier report six times a year, full archive access, and access to our comment section.
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。