Post

FWIW, here are Terence Tao’s slides at the ICM on maths and AI:  teorth.github.io/tao-web/slid... @teorth.bsky.social (I am not endorsing nor criticizing the content, but this is a useful and thoughtful set of points and views in the discussion, from someone who has deeply engaged with the matter)

> This question is not a mathematical question; it is a metamathematical (and political, ethical, and cultural) one. > Proceeds to almost completely ignore politics, ethics, and quite a lot about culture

I don’t know if he said anything brilliant during the talk, but the slides themselves seem like a lot of trivial blah blah to me, with the possible exception of slide 48. But frankly, I didn’t expect anything better than that. (Yes, I’m very bitter lately.)