terence-tao
Terence Tao says AI is strip-mining mathematics' supply of good problems News
Terence Tao argues that fruitful open problems are being consumed in a non-renewable way by AI systems, that identifying a promising problem is now the scarce resource rather than solving one, and that the incentive to stop sharing research directions could reverse centuries of open science.
Terence Tao calls the AI-assisted fluid blowup proofs a breakthrough News
A day before OpenAI announced its Navier-Stokes result, Terence Tao wrote that the new AI-assisted proofs of finite-time blowup for three fluid equations are a breakthrough with a high likelihood of extending to Navier-Stokes.
Terence Tao says the bottleneck in AI-assisted mathematics is understanding, not proofs News
In an ICM public lecture, Terence Tao argues that AI and formal proof systems accelerate generating and verifying proofs but not explaining, reviewing or canonicalizing them, so correct results could pile up faster than the field can absorb them.
Terence Tao brought his 1999 Java applets back to life with an AI agent -- and it found bugs he never knew about News
Fields Medalist Terence Tao used an AI coding agent to port about two dozen of his 1999 Java math applets to JavaScript in hours, reporting that the agent found two pre-existing bugs he was unaware of while introducing only one minor bug of its own.