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?

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

Mathematical Structure in Fiction

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

Where do Mathematical Symbols Come From?

Professor Sarah Hart
Tuesday, 27 April 2021 - 1:00PM
WATCHED

The Maths of Life and Death

Dr Kit Yates
Tuesday, 4 May 2021 - 6:00PM
WATCHED
Part of a series

Maths vs. Covid-19

Professor Julia Gog
Thursday, 27 May 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

The Mathematics of Bell Ringing

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

The Sound of Mathematics

Professor Sarah Hart
Tuesday, 17 November 2020 - 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

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

Is Learning Like Crossing A Desert?

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

The Enigma Machine: How it Works

Professor Raymond Flood
Tuesday, 19 April 2016 - 1:10PM
WATCHED

The Fly Puzzle and Von Neumann's Response

Professor Raymond Flood
Tuesday, 19 April 2016 - 1:05PM
WATCHED

Three Great Mathematicians: Hardy, Littlewood, and Hardy-Littlewood

Professor Raymond Flood
Tuesday, 15 March 2016 - 1:05PM
WATCHED
Part of a series

Explaining Relativity with a Pencil

Professor Raymond Flood
Tuesday, 20 October 2015 - 1:20PM
WATCHED
Part of a series

Principles of Relativity: Einstein and Galileo

Professor Raymond Flood
Tuesday, 20 October 2015 - 1:15PM