Advertisement
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?
Details on how to register for 2021 lectures will be updated in due course on the webpage for the event.
https://www.gresham.ac.uk/lectures-and-events/smart-computers
We are hoping to reintroduce live audiences gradually: please sign up for our newsletter to get updates: https://www.gresham.ac.uk/newsletter/
Advertisement
Event Venue & Nearby Stays
Museum of London, 150 London Wall, London, United Kingdom