Yuri Milner interviews Donaldson, Kontsevich, Lurie, Tao, and Taylor (2015 Breakthrough Prize)

 

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? 

Highly recommended!

See also 

The Quantum Simulation Hypothesis: Do we live in a quantum multiverse simulation? 

Locality and Nonlinear Quantum Mechanics