Device is incompatible to play the video
Wednesday, 20 January 2021, 6:00PM - 7:00PM
Museum of London

Will Computers Outsmart Mathematicians?

Professor Kevin Buzzard

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?


Reservations are required for this lecture. In person reservations will be available closer to the event. Sign up to our email newsletter for updates: https://www.gresham.ac.uk/newsletter/

speaker_kevinbuzzard-370x370.jpg

Kevin is Professor of Pure Mathematics in the Faculty of Natural Sciences at Imperial College London. His expertise lies in algebraic number theory and currently works in the area of formal proof verification. He has given lectures for the Royal Institution and for Microsoft Research. 

Read More
Read Less
Related Future Lectures
Related Past Lectures
WATCHED
Part of a series

The Sound of Mathematics

Professor Sarah Hart
Tuesday, 17 November 2020 - 1:00PM
WATCHED
Part of a series

Understanding the Universe with AI

Professor Roberto Trotta
Monday, 23 November 2020 - 1:00PM
WATCHED
Part of a series

Data: The Past, the Present and the Future

Professor Richard Harvey
Tuesday, 24 November 2020 - 6:00PM
WATCHED
Part of a series

The Mathematics of Bell Ringing

Professor Sarah Hart
Tuesday, 5 January 2021 - 1:00PM
WATCHED
Part of a series

An Introduction to Programs

Professor Richard Harvey
Tuesday, 2 February 2021 - 6:00PM
WATCHED
Part of a series

Mathematical Journeys into Fictional Worlds

Professor Sarah Hart
Tuesday, 9 February 2021 - 1:00PM
WATCHED
Part of a series

Maths and Money: From Gold to Bitcoin

Professor Norman Biggs
Wednesday, 21 October 2020 - 4:00PM
WATCHED
Part of a series

An Introduction to Algorithms

Professor Richard Harvey
Tuesday, 20 October 2020 - 6:00PM
WATCHED
Part of a series

The Mathematics of Musical Composition

Professor Sarah Hart
Tuesday, 13 October 2020 - 1:00PM
WATCHED

The World of Isaac Newton

Professor Raymond Flood
Monday, 28 September 2020 - 6:00PM
WATCHED

Number Theory: Queen of Mathematics

Professor Robin Wilson
Monday, 28 September 2020 - 4:30PM
WATCHED
Part of a series

Digital Healthcare: Will the Robot See You Now? 

Professor Richard Harvey
Thursday, 4 June 2020 - 6:00PM
WATCHED

What is Information?

Professor Richard Harvey
Friday, 19 October 2018 - 10:00AM
WATCHED

Is Learning Like Crossing A Desert?

Professor Tadashi Tokieda
Tuesday, 21 August 2018 - 10:00AM
WATCHED

How does startpage.com make its money?

Professor Martyn Thomas CBE
Tuesday, 18 October 2016 - 6:59PM
WATCHED

Firefox tracking you and Companies taking your right to trial by jury away

Professor Martyn Thomas CBE
Tuesday, 18 October 2016 - 6:58PM
WATCHED

What is your stand on Wikileaks and the Panama Papers?

Professor Martyn Thomas CBE
Tuesday, 18 October 2016 - 6:57PM
WATCHED

Being Overly Cautious About Privacy Becomes Counter Intuitive

Professor Martyn Thomas CBE
Tuesday, 18 October 2016 - 6:55PM