{"id":"arxiv/2608.16977","url":"https://arxiv.org/abs/2608.16977","tags":["cs.AI","math.CO"],"score":0,"title":"The Problem Is the Problem: Towards Scalable Mathematical Discovery","domain":"cs.AI","source":"arxiv","authors":["Zeyu Zheng","Shengtong Zhang","Jeremy Avigad","Prasad Tetali","Sean Welleck"],"reviews":0,"subject":"cs.AI","summary":"AI systems are increasingly capable of contributing to mathematical research. In research practice, frontier-model reasoning is a limited resource, and expert mathematical review is even more sharply constrained. Allocating these scarce resources well is therefore central to making AI-assisted mathematical discovery efficient. In most current AI-for-math workflows, human effort is concentrated at the beginning and end, in selecting suitable research problems and later reviewing the resulting artifacts. These two stages are becoming bottlenecks for research-level mathematics. We address them…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-17","reactions":{}}