Geordie Williamson: Neural Networks for Mathematical Discovery