Gerver沙发
Joseph Gerver于1992年提出的移动沙发问题候选最优形状，由18段直线和圆弧拼接而成，面积约2.2195，关于走廊对角线对称
时间轴 (近 90 天)
开发者Abhilekh Meda使用PPO算法成功重建了Gerver的沙发形状。
Gerver沙发由18段曲线组成，包括直线段和圆弧段，整体关于走廊对角线对称。
PPO找到的沙发形状与Gerver解高度相似，说明它至少收敛到了一个接近全局最优的局部解。
1992年，Joseph Gerver构造了一个更优的形状，面积约为2.2195，并证明了其最优性。
PPO训练后生成的形状面积接近Gerver沙发的理论最优值（约2.2195），但该方法是近似的，且训练过程可能不稳定。
Gerver沙发的最优性证明基于对沙发运动过程中各接触点约束条件的精细分析，利用变分法和最优控制理论推导出满足转弯可行性的边界条件，最终证明其构造的面积上界不可超越。
Gerver沙发的最优性证明至今仍是该问题上唯一被广泛接受的严格最优性论证。
全部知识事实 (7)
1992年，Joseph Gerver构造了一个更优的形状，面积约为2.2195，并证明了其最优性。
60%待验证PPO找到的沙发形状与Gerver解高度相似，说明它至少收敛到了一个接近全局最优的局部解。
50%待验证Gerver沙发由18段曲线组成，包括直线段和圆弧段，整体关于走廊对角线对称。
50%待验证PPO训练后生成的形状面积接近Gerver沙发的理论最优值（约2.2195），但该方法是近似的，且训练过程可能不稳定。
50%待验证Gerver沙发的最优性证明基于对沙发运动过程中各接触点约束条件的精细分析，利用变分法和最优控制理论推导出满足转弯可行性的边界条件，最终证明其构造的面积上界不可超越。
50%待验证Gerver沙发的最优性证明至今仍是该问题上唯一被广泛接受的严格最优性论证。
50%待验证开发者Abhilekh Meda使用PPO算法成功重建了Gerver的沙发形状。
50%