Sir Timothy Gowers, Professeur titulaire of the Combinatorics chair at the Collège de France and Fields Medal recipient, is one of the world’s foremost mathematicians.
As part of the G-Research Distinguished Speaker Series, Sir Timothy was one of three speakers at the 2022 Computer Guided Mathematics Symposium.
Before taking to the stage, we spoke to Sir Timothy about his love of mathematics, his focus on Combinatorics, and his current work on the process by which human beings solve mathematics problems.
The long-term goal for Sir Timothy’s current work is to enable computers to replicate what mathematicians do, something he discussed in-depth during his talk, and the subsequent panel discussion, with Alex Davies (DeepMind) and Kevin Buzzard (Imperial College).
What is mathematics?
Sir Timothy’s talk at the Computer Guided Mathematics Symposium focused on Automatic Theorem Proving.
“I think the take home my message from my talk…would be that things are going to change quite a lot, as a result of efforts put in to automatic theorem proving,” said Sir Timothy.
“In the extreme, it might go as far as putting us [mathematicians] out of business, because computers can just do it better than we can.”
