From Static to Dynamic: Adaptive Monte Carlo Search for Mathematical Process Supervision | Synapse