@misc{indiciae10127402611e,
  title = {The Problem Is the Problem: Towards Scalable Mathematical Discovery},
  author = {Zeyu Zheng and Shengtong Zhang and Jeremy Avigad and Prasad Tetali and Sean Welleck},
  year = {2026},
  url = {https://arxiv.org/abs/2608.16977},
  note = {Source identifier: 2608.16977}
}