TY  - RPRT
TI  - The Problem Is the Problem: Towards Scalable Mathematical Discovery
AU  - Zeyu Zheng
AU  - Shengtong Zhang
AU  - Jeremy Avigad
AU  - Prasad Tetali
AU  - Sean Welleck
PY  - 2026
UR  - https://arxiv.org/abs/2608.16977
ID  - 2608.16977
ER  -