I’ve heard him say it myself in a lecture on the AKS primality test. So, ehh, the source is oral tradition I guess.