If you want your LLM to solve everything from Olympiad geometry to cutting-edge research math, the key is building exhaustive data sources and the right infrastructure to verify solutions at scale.