I came across this panel discussion recently, with Yuri Milner (former theoretical physicist, internet billionaire, and sponsor of the Breakthrough Prize) as interlocutor and panelists Simon Donaldson, Maxim Kontsevich, Jacob Lurie, Terence Tao, and Richard Taylor.
Among the topics covered: the nature of mathematics, the simulation question, AGI and automated proof, human-machine collaboration in mathematics. Kontsevich marvels at the crystalline form of quantum mechanics: why linearity? why a vector space structure?
The Quantum Simulation Hypothesis: Do we live in a quantum multiverse simulation?