蒙特卡洛树搜索

一种启发式搜索算法，通过随机采样和树结构维护多条搜索路径，对每条路径打分评估并在瓶颈时剪枝开辟新分支，被AI数学推理系统借鉴用于并行多路径证明搜索