Kevin Buzzard: Mathematics and the Computer with G-Research

Kevin Buzzard, Professor of Pure Mathematics at Imperial College London, discusses Mathematics and the Computer as part of G-Research's Computer Guided Mathematics Symposium.
Held at the Science Museum in Central London, Kevin was the first of three speakers, alongside Alex Davies (DeepMind) and Sir Timothy Gowers (Professeur titulaire of the Combinatorics chair at the Collège de France).
Want to watch the talks? Check out our Computer Guided Mathematics Symposium playlist here: • G-Research Computer Gu...
View Kevin's full presentation slides: bit.ly/3CHKYbc
The G-Research Computer Guided Mathematics Symposium was the final event in our 2022 Distinguished Speaker Series. We'll be running events in 2023, so if you're interested in attending future Distinguished Speaker Series events, please register your details here: events.beamery.com/gresearch/...

[@halvorhansen]

Exiting!

[@tagore10]

Love Kevin. This is awesome

[@LV-426...]

This was even before GPT 4.

[@RalfStephan]

Chess is NOT solved, sorry, please stay rigorous.