Teaching mathematics to computers – with Professor Kevin Buzzard
Are large language models like ChatGPT any good at mathematics?
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? He 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.
Fireside Chats are live streamed events held on the occasional Friday afternoon @ 4pm, featuring more of a short presentation or talk, an informal chat and Q&A with the audience.
These events are free and exclusively for Members as part of the annual Membership benefits.
If you are interested in becoming a Member, discover the wide range of benefits annual Membership brings here 'Join Friends' page.