Is deep learning a useful tool for the pure mathematician? | Synapse