Terence Tao's case for slowing down AI work on major math problems

A post shares an excerpt it attributes to Terence Tao's keynote at Caltech's Science x AI Summit. In the quoted remarks, Tao argues that major math problems do not need urgent solutions and that AI's work on conjectures could be more valuable if pursued at a slower, more principled pace.