Tao has always been a proponent of the fact that proving a theorem establishes powerful tools that might help mathematicians work on other problems, i think his

Tao has always been a proponent of the fact that proving a theorem establishes powerful tools that might help mathematicians work on other problems, i think his comment is that this does not do that