#terencetao

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 direction

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.

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.