人物
Joseph Gerver
数学家，1992年提出移动沙发问题的候选最优解（Gerver沙发），面积约2.2195
时间轴 (近 90 天)
10月24日
Gerver对沙发最优性的证明至今未被完全严格验证。
待验证50%
10月24日
Gerver沙发由18段曲线组成，包括直线段和圆弧段，整体关于走廊对角线对称。
待验证50%
10月24日
1992年，Joseph Gerver构造了一个更优的形状，面积约为2.2195，并证明了其最优性。
待验证60%
10月24日
Gerver沙发的最优性证明基于对沙发运动过程中各接触点约束条件的精细分析，利用变分法和最优控制理论推导出满足转弯可行性的边界条件，最终证明其构造的面积上界不可超越。
待验证50%