The Future of Mathematics?

8 views

Skip to first unread message

Siddhartha Jain

unread,

Oct 11, 2019, 8:49:27 AM10/11/19

to Theory, Évariste Club

Hello all,

I wanted to recommend this video to everybody. It's quite long, but you could watch it on 1.5x and/or skip over boring parts.

Essentially Kevin Buzzard of Imperial College London, speaking at MSR, will tell you why you should care about theorem proving software, Lean in particular, and what he's done with it already. Features politics of both the academic and global flavour, too!