困扰数学家近60年的搬沙发难题疑似被解决！119页论文证明最优解，百万网友围观

主要观点总结

文章介绍了困扰人类58年的数学难题——移动沙发问题，最终被韩国学者Jineon Baek解决。该问题涉及在特定走廊中移动沙发的最大面积问题。文章详细描述了问题的历史、解决方案以及作者Jineon Baek的背景和研究兴趣。

关键观点总结

关键观点1: 移动沙发问题的历史

加拿大数学家Leo Moser于1966年提出了移动沙发问题，询问在特定条件下能够移动的最大沙发面积是多少。之后，数学家John Michael Hammersley和Gerver先后提出了解决方案和改进方案。

关键观点2: Jineon Baek的解决方案

Jineon Baek发表了一篇新论文，证明Gerver的沙发是最优的。论文详细描述了证明过程，包括定理的完整证明分为的主要步骤和作者介绍。

关键观点3: 网友的反应

网友对移动沙发问题的最优解有着不同的看法，一些人觉得直观，也有猜测证明过程的困难性。同时也有现实生活中的实用性讨论。

文章预览

机器之心报道 机器之心编辑部 《老友记》中的罗斯终于能把沙发搬进屋了。 生活中处处充满数学，比如在经典美剧《老友记》中，罗斯要搬家，却在和瑞秋抬沙发上楼梯扶手时翻了车。这涉及了数学领域一个著名的未解决难题 —— 移动沙发问题（the moving sofa problem）。 来源：《老友记 S05E16》 该问题是由加拿大数学家 Leo Moser 于 1966 年正式提出：在宽度为 1 的 L 形平面走廊中，能够通过一个直角转弯的「沙发」的最大面积是多少？ 1968 年，数学家 John Michael Hammersley 提出了一种简单的解法。他将沙发设计成类似于一个电话听筒的形状，由两个四分之一圆和一个中间的矩形块组成，中间的矩形块中挖去了一个半圆形，从而得出的沙发最大面积为 2.2074。 但遗憾的是，这并不是最优解。 1992 年，美国数学家 Gerver 在 Hammersley 沙发的基础上进行了改进， ………………………………