刚在reddit冲浪（别问为啥又刷了，问就是停不下来）看到个题，当场愣住

就问你：一条L形直角走廊，两边宽度都是1，手里有张沙发要拐过去，面积最大能整多大

听着像初中几何题对吧，结果这玩意儿叫moving sofa problem，1966年leo moser提的，快六十年了没人证出真正的最优解（・へ・）

现在已知最好的，是个叫Gerver的佬92年搞出的形状，面积约2.2195~但谁也不敢说这就是天花板，只能讲"至少能这么大"

最离谱的是二维都没搞定，三维版（搬个箱子拐弯）更是想都别想

人类都能算引力波了，一张沙发拐个弯却算不明白，数学这坑真越挖越深（摊手）

你们觉得还能更大不，还是2.2195就是顶了

前排抢个沙发（物理意义上的哈哈） 说真的我第一反应就是这玩意儿不能拆腿吗，不过2.2195卡了快六十年也太迷了，引力波都能算人类却栽在一张拐弯的沙发上，莫名有点可爱~

这题我之前在别处刷到过一次，当场也是懵的。人类算得动引力波却搬不动沙发，太荒诞了哈哈。我赌还能更大，2.2195这数怎么看都不像到顶，没准哪天又冒个更怪的形状把它超了。三维那个就先别想了脑壳痛。Друг你们觉得这辈子能解出来不

这反差也太逗了，人类算得出引力波，却算不明白一张沙发怎么拐弯，越想越觉得数学这坑深得离谱。无语我站"还能更大"那一边，Gerver那个形状瞅着就留了余地，边角圆弧像是没榨干净。不过说真的，连上限都证不出来，咱们拍脑袋喊"还能更大"跟算命也差不多（摊手）哪天真有人证出来了，记得来版里踢我一脚。

看完默默量了下自家走廊，突然觉得我家那破沙发能拐过去就是奇迹。说真的这题邪门，引力波都算得明明白白，一张沙发拐个弯却卡了快六十年。也是醉了我赌2.2195还能往上拱，数学最擅长打脸直觉hh

人类都算上引力波了沙发拐弯还卡着，这反差也是没谁了哈哈 没证出来反而好，证出来就没悬念了

当年搬家沙发卡楼道拐角，还怪自己手残，合着这题60年没人解，瞬间平衡了（摊手）

2.2195这数看得我一愣 前阵子帮人搬家 老楼道窄得离谱 沙发卡在拐角进也不是退也不是 当时只觉得邪门 合着这还能当正经数学题研究 我赌还能更大 哈哈

又是reddit挖出来的坑，我昨晚刚在那耗了俩钟头。这沙发人类真拐不明白，2.2195我姑且信了

先抢个沙发（真·沙发不是楼层hh）这题给我看愣了 我搬家那回直接把门框拆了扛进去 比算这个省事多了哈哈

读到你说的"至少能这么大"这一句，心里忽然被什么轻轻撞了一下。说实话数学里这种悬而未决的留白，有时比一个干脆利落的最优解更让人失神。Gerver那个形状安静地立在那儿快三十年了，像一个始终没有收尾的句子。人类算得清亿万光年外的引力波，却量不准脚边一张沙发的去路，这荒谬里竟透着一点温柔。我们总以为尽头是确定的，其实多数时候只是暂时走到了一个还不错的拐角。不知这辈子能不能等来那个真正的数字。

我觉得还能更大，这数看着没到头，明天还得涨哈哈

reddit我也停不下来，一天能陷进去仨钟头。2.2195我赌还能再大点，人类就爱留这种无底洞题

这题我当年也撞见过，盯着屏幕看了半天，越想越不对劲。
想当年
你提到"人类都能算引力波了，搬个沙发却算不明白"，我倒觉得这俩根本不是一回事，这么比其实有点冤枉数学。引力波那套，本质是把已知的方程往里代、求数值解，路子是直的。沙发问题难在它问的是"所有可能形状里最大的那个"，是在一个无穷维的空间里找最优，连 candidate 长什么样都没人说得清。这就好比让你在一片没有地图的森林里找最高的树，不是你算得快就能解决的。

我年轻的时候也总以为，看着简单的题多半有巧解，卡住了只是自己笨。想当年后来待在国外那半年，闲得发慌，真拿纸笔折过这玩意儿，不是算，就是凭手感画图。折到 Gerver 那个带弧线的形状时忽然有点明白：最优解丑得很有道理，它不是你想象里对称好看的那种 answer，是各种约束互相将就出来的 compromise。这个 feature 才真的 interesting。
其实
所以我的感觉是，2.2195 大概率还能再涨一点，只是涨不动多少了。真正吊诡的不是"算不出来"，是就算哪天证出来了，那个形状大概也没人会觉得 pretty。

仔细想想你有没有试过自己画一个往走廊里塞？那个过程比结果好玩多了，光是想想就 sounds good。