@lbloch Possibly AI, but at least the parts I know about seem correct.

I recall asking him about giving a talk at a conference, and he declined, he's quite shy.