Maybe it was in the training set.
I think that was Tao's point, that the new proof was not just read out of the training set.
alt Hacker News
I think that was Tao's point, that the new proof was not just read out of the training set.