54:47 duration 54 minutes 47 seconds
BMC BAMC 2021 Kevin Buzzard
6-9 April 2021, BMC BAMC 2021 Titled: When Will Computers Prove Theorems? This was a BMC morning talk by Kevin Buzzard (Imperial College London) This session was supported by the Edinburgh…