Will Computers Outsmart Mathematicians?

  • Details
  • Transcript
  • Audio
  • Downloads
  • Extra Reading

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?

Download Transcript

This event was on Wed, 20 Jan 2021


Professor Kevin Buzzard

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.

Find out more

Support Gresham

Gresham College has offered an outstanding education to the public free of charge for over 400 years. Today, Gresham plays an important role in fostering a love of learning and a greater understanding of ourselves and the world around us. Your donation will help to widen our reach and to broaden our audience, allowing more people to benefit from a high-quality education from some of the brightest minds. 

You May Also Like