Will Computers Outsmart Mathematicians?

Will Computers Outsmart Mathematicians?
 
  6:00 pm - 7:00 pm

Coronavirus: Events may be cancelled and venues closed at short notice, you are advised to check on their websites before making a trip.

This is an online video event, please check the organiser for details about how to watch.

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?

Cost: Free of Charge


Contact and Booking Details

More information at this website.

Reserve tickets at this website

2021-01-20 18:00 2021-01-20 18:00 Europe/London Will Computers Outsmart Mathematicians? 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? https://www.ianvisits.co.uk/calendar/2021/01/20/will-computers-outsmart-mathematicians-251160 ,,,

This is an online video event, please check the organiser for details about how to watch.

Home > What's on in London > 2021 > January > Wednesday, 20th January 2021