Tao has an interesting followup on Mastodon: https://mathstodon.xyz/@tao/112617150031897750