(C) The Conversation
This story was originally published by The Conversation and is unaltered.
 . . . . . . . . . .



Dame Kathleen Ollerenshaw Lecture by Professor Kevin Buzzard [1]

[]

Date: 2022-11 

For decades now, computers have been much better than humans at calculating. But mathematical research is not all about calculating -- humans make conjectures and prove theorems. Until recently, mathematicians looked to be safe from the rise of the machine. But now computers are becoming capable of understanding the mathematics which modern researchers are doing. Will computers replace mathematicians? Or, perhaps more likely, will they start to help mathematicians in new ways? Not just number crunching for them, but also suggesting ideas and insights about how to push mathematical research further?

Professor Kevin Buzzard will give an overview of this area as it stands in 2022, touching on such things as the rise of computer proof assistants and machine learning in mathematics. The talk will be suitable for a general audience.

Professor Kevin Buzzard is a Professor of Pure Mathematics at Imperial College London specializing in number theory. His distinctions include a Whitehead Prize in 2002 and the Senior Berwick Prize in 2008 by the London Mathematical Society. He was an invited speaker at the International Congress of Mathematicians in 2022. Professor Buzzard has recently started to work in the area of formal proof verification. He believes that computers will be able to help mathematicians with proofs and he has been actively trying to make this happen. He is also running a project whose goal is to teach mathematics undergraduates how to check their own work on a computer. Read more about Kevin Buzzard at https://www.imperial.ac.uk/people/k.buzzard and https://www.ma.ic.ac.uk/~buzzard/.

Follow the link to watch the livestream: Prof. Kevin Buzzard: Will Computers Replace Mathematicians?

[END]
---
[1] Url: https://theconversation.com/uk/events/dame-kathleen-ollerenshaw-lecture-will-computers-replace-mathematicians-11565

Published and (C) by The Conversation
Content appears here under this condition or license: Creative Commons CC BY-ND 4.0.

via Magical.Fish Gopher News Feeds:
gopher://magical.fish/1/feeds/news/theconversation/