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 Mathematical Society (EMS)
The subtitles/captions on this talk are being edited and will be available in due course.