IS DEEP LEARNING A USEFUL TOOL FOR THE PURE MATHEMATICIAN? By Geordie Williamson