Research questionHow can large reasoning models explore complex research problems while maintaining proof rigor?Competition mathematics usually has bounded, well-specified goals, whereas frontier research requires open-ended exploration and procedural justification. The difficulty is sustaining and checking long lines of reasoning rather than merely producing plausible arguments.