Intuition meets AI in pure mathematics: Geordie Williamson DeepMind collaboration

Описание: For the first time, computer scientists and mathematicians have used artificial intelligence to help prove or suggest new mathematical theorems in the complex fields of knot theory and representation theory.

SMRI Director Professor Geordie Williamson explains the collaboration with DeepMind computer scientists and University of Oxford mathematicians in this extended interview.

Nature news feature: https://www.nature.com/articles/d4158...

Uni of Sydney article: https://www.sydney.edu.au/news-opinio...

More press about the paper:
https://mathematical-research-institu...

Video credits:
Image of Demis Hassabis & Lee Sedol: DeepMind

Protein folding video: Boczkowska M, Rebowski G, Kremneva E, Lappalainen P, Dominguez R (2015). "How Leiomodin and Tropomodulin use a common fold for different actin assembly functions". Nature Communications. DOI:10.1038/ncomms9314

Affine Weyl group simulation (Affine G2) by Joel Gibson, Sydney Matehmatical Research Institute: bit.ly/aw-groups

Footage of Geordie Williamson: Sebastian Zentilomo, University of Sydney
All other images and video: Pexels
Music: Time to move, VESHZA    • Time to Move - VESHZA (No Copyright Music)