PPO找到的沙发形状与Gerver解高度相似，说明它至少收敛到了一个接近全局最优的局部解。