Teaching Mathematics to Computers

Kevin Buzzard - Professor of Pure Mathematics, Faculty of Natural Sciences, Department of Mathematics, Imperial College London

Do developments in AI and related areas threaten to put mathematicians like Professor Buzzard out of business? Are large language models like ChatGPT any good at mathematics? Professor Buzzard explained why right now the answer to both these questions is a resounding "no", and talked about some of his work attempting to begin the long journey to turn these answers into "yes".

Professor Buzzard's background is in algebraic number theory. Currently he works in the area of formal proof verification. He believes that within our lifetime, computers will be able to help human mathematicians to create proofs, and he is actively trying to accelerate this process.