Terrance Tao has a bunch of tweets/mastodon posts about it