2024 年 11 月 29 日,来自韩国首尔延世大学的 Jineon Baek 在 arXiv 贴出了一篇长达 119 页的论文,声称解决了困扰数学界近 60 年的移动沙发问题。 论文地址:Optimality of Gerver's Sofa 移动沙发问题指的是 1966 年Leo Moser正式提出的一个平面优化问题:在宽度为 1 的直角平面走廊中,能够刚性(即不变形)地通过的沙发面积最大值是多少? 最简单可行解是边长为 1 的正方形,它可以直接通过直角形走廊: 但这并不是面积最大的最优解,此前数学家们发现的面积最大解是 1992 年 Gerver 构造的由 18 条光滑曲线围成的沙发,它的面积约为 2.2195: 此后数学家没有找到更优的解,也没能从数学上严格证明 Gerver 沙发就是最优解。而 Jineon Baek 在论文中证明了 Gerver 沙发就是面积最大的最优解。