Comment by magneticnorth

I think that was Tao's point, that the new proof was not just read out of the training set.