Is deep learning a useful tool for the pure mathematician?