nostr:npub12vvx3w5umzv9lkncdwntzw7wxj5rhc634ynae80gh8semk7kkass5hu68m - Thanks!  I hadn't seen Terence Tao's post yet.

nostr:npub1ch8hfpny6tp95jqut4smklg3nx2h93dvvw6x4jsaqzwj8u6az9lqfw3ckt