@Lex Fridman I'm a huge admirer of Demis' work at DeepMind. I hope he knows about the "Ramanujan Machine" created by an Israeli company which generates conjectures on fundamental constants. Sounds like a good tool for some of his work...?