困扰数学家近60年的搬沙发难题疑似被解决！119页论文证明最优解，百万网友围观
文章摘要
【关 键 词】 移动沙发、数学问题、最优解、几何学、人工智能
《老友记》中罗斯搬沙发的场景启发了数学家们对“移动沙发问题”的研究。这个问题由加拿大数学家Leo Moser在1966年提出，旨在探索在宽度为1的L形平面走廊中，能够通过一个直角转弯的沙发的最大面积。1968年，John Michael Hammersley提出了一种解法，设计出一个电话听筒形状的沙发，得出最大面积为2.2074。然而，1992年，美国数学家Gerver提出了改进方案，计算出最大沙发面积为2.2195，虽然面积略大，但方法更为巧妙。
2024年12月2日，韩国学者Jineon Baek发表新论文，声称证明了Gerver的沙发是最优解。这项研究在社交媒体上引起了广泛关注。Jineon Baek的证明论文长达119页，题目为《Optimality of Gerver’s Sofa》。论文共分8章，摘要中指出通过证明具有18个曲线段的Gerver沙发确实达到了最大面积2.2195，从而解决了移动沙发问题。
在证明过程中，Jineon Baek没有使用任何计算机辅助，而是通过科学计算器进行数值计算。他证明了最大面积的移动沙发S_max的一个属性，即可注入性条件。通过构建满足可注入性条件的移动沙发S面积的上界Q(S)，并最大化关于S的Q(S)，最终证明了Gerver沙发G全局最大化了面积。
Jineon Baek的研究兴趣主要集中在组合数学和几何学中的优化问题，他在人工智能领域也有所贡献，包括医学图像处理、教育数据挖掘等。这已经不是他第一次研究移动沙发问题，今年6月他就移动沙发的上限问题进行了研究。现在，不少网友在网上讨论《Optimality of Gerver’s Sofa》，对这个移动沙发的最优解发表了自己的看法。
原文和模型
【原文链接】 阅读原文 [ 2277字 | 10分钟 ]
【原文作者】 机器之心
【摘要模型】 moonshot-v1-32k
【摘要评分】 ★★★☆☆
