TY - RPRT TI - Mathematical exploration and discovery at scale AU - Bogdan Georgiev AU - Javier Gómez-Serrano AU - Terence Tao AU - Adam Zsolt Wagner PY - 2025 UR - https://arxiv.org/abs/2511.02864 ID - 2511.02864 ER -