Скачать с ютуб Will Computers Outsmart Mathematicians? в хорошем качестве

Will Computers Outsmart Mathematicians?

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 The transcript and downloadable versions of the lecture are available from the Gresham College website: http://www.gresham.ac.uk/lectures-and... Gresham College has offered free public lectures for over 400 years, thanks to the generosity of our supporters. There are currently over 2,500 lectures free to access. We believe that everyone should have the opportunity to learn from some of the greatest minds. To support Gresham's mission, please consider making a donation: https://gresham.ac.uk/support/