Device is incompatible to play the video
Wednesday, 20 January 2021, 6:00PM - 7:00PM
Online Lecture

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

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

Artificial Intelligence and Humour

Professor Yorick Wilks
Tuesday, 23 February 2021 - 1:00PM
WATCHED
Part of a series

Mathematical Structure in Fiction

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

Computers: A History

Professor Richard Harvey
Tuesday, 9 March 2021 - 6:00PM
WATCHED

Spying for Queen and Country

Professor Stephen Alford
Tuesday, 23 March 2021 - 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

Data: The Past, the Present and the Future

Professor Richard Harvey
Tuesday, 24 November 2020 - 6: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

The Sound of Mathematics

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

Reserve Currencies in the Era of Fiat Money

Professor D'Maris Coffman
Wednesday, 21 October 2020 - 6:00PM
WATCHED
Part of a series

Cryptocurrencies: Protocols for Consensus

Professor Andrew Lewis-Pye
Wednesday, 21 October 2020 - 5: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