Humans use computers to do gigantic calculations which would be impossible to do by hand - for example, weather prediction.

But could an AI go beyond that and come up with a proof of a theorem which has stumped humankind? Could computers suggest how to attack problems, searching knowledge bases for known results?

As automatic and interactive computer theorem provers become more powerful, should mathematical researchers begin to worry that they will soon be out of a job?

A lecture by Kevin Buzzard 20 January

The transcript and downloadable versions of the lecture are available from the Gresham College website:
https://www.gresham.ac.uk/lectures-and-events/smart-computers

Gresham College has been giving free public lectures since 1597. This tradition continues today with all of our five or so public lectures a week being made available for free download from our website. There are currently over 2,000 lectures free to access or download from the website.

Website: http://www.gresham.ac.uk
Twitter: http://twitter.com/GreshamCollege
Facebook: https://www.facebook.com/greshamcollege
Instagram: http://www.instagram.com/greshamcollege

Support the Show.