i hope we first lose people who post dumb essays on twitter.

at least he agrees that "he can't see the future"

there is just as much evidence for the opposite stance: AI can help us improve and formally verify every security reduction we use. As long as math allows some kind of trapdoor function, AI can help us produce the best crypto we can achieve from it.