韩国数学家Baek Jin-eon证明移动沙发问题上限（2024）

韩国数学家Baek Jin-eon于2024年底在预印本平台arXiv发布119页论文，针对1966年Leo Moser提出的“移动沙发问题”给出关键证明：在宽度为1的L形走廊中，可通过的刚性二维形状最大面积（沙发常数）不可能超过Joseph Gerver在1992年构造的2.2195平方米解，从而为该近60年难题确立硬上限。此前John Hammersley曾给出2.2074平方米结果。论文已投稿《Annals of Mathematics》，待同行评审确认。