This is essentially irrelevant to the content of the post, but it's amusing to me that he casually mentions submitting to JAMS as if its acceptance were a mere formality.
He has rejected papers too https://mathstodon.xyz/@tao/113721192051328193
He has rejected papers too https://mathstodon.xyz/@tao/113721192051328193