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 Past Lectures
WATCHED
Part of a series

Maths vs. Covid-19

Professor Julia Gog OBE
Thursday, 27 May 2021 - 6:00PM
WATCHED
Part of a series

The Future of Computer Security

Professor Richard Harvey
Tuesday, 25 May 2021 - 6:00PM
WATCHED

Artificial Intelligence and Humour

Professor Yorick Wilks
Tuesday, 11 May 2021 - 1:00PM
WATCHED

The Maths of Life and Death

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

Where do Mathematical Symbols Come From?

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

Networks: The Internet and Beyond

Professor Richard Harvey
Tuesday, 20 April 2021 - 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