TY - RPRT TI - Is deep learning a useful tool for the pure mathematician? AU - Geordie Williamson PY - 2023 UR - https://arxiv.org/abs/2304.12602 ID - 2304.12602 ER -