Geordie Williamson: Neural Networks for Mathematical Discovery
youtube.com