Can’t this be extended quite far? Use a cerebras-served model, use verification techniques to generate and solve millions of problems and then use that as training?

That’s the whole point, just cost and compute limitations in your way (mostly).