Wait, how did Terence Tao also become an AI decelerationist??

What happened: Terence Tao used a SAIR talk to urge AI model companies to slow down, saying there is no reason to accelerate so fast. He described a "Proof Indigestion" problem where AI generates and formally verifies proofs but humans do not understand, publish, or explain them. Key numbers: 25 Fields medalists signed an open letter; Tao cited a five stage proof Why it matters: Tao and other Fields medalists warn that AI benchmark solving is misaligned with mathematics, risking lost creativity and data contamination. OpenAI's group will not advise on internal mathematical progress.

Terence Tao used a SAIR talk to urge AI model companies to slow down, saying there is no reason to accelerate so fast. He described a "Proof Indigestion" problem where AI generates and formally verifies proofs but humans do not understand, publish, or explain them.

Tao and other Fields medalists warn that AI benchmark solving is misaligned with mathematics, risking lost creativity and data contamination. OpenAI's group will not advise on internal mathematical progress.