EPISODE · Jan 20, 2021 · 54 MIN
Will Computers Outsmart Mathematicians?
from Gresham College Lectures · host Gresham College
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 JanuaryThe transcript and downloadable versions of the lecture are available from the Gresham College website: https://www.gresham.ac.uk/lectures-and-events/smart-computersGresham 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/greshamcollegeSupport the show
Embed this episode
What this episode covers
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 Kevi...
NOW PLAYING
Will Computers Outsmart Mathematicians?
No transcript for this episode yet
Similar Episodes
No similar episodes found.
Similar Podcasts
No similar podcasts found.