韩国数学家 Baek Jin-eon 解决了有近 60 年历史的移动沙发问题。该问题由 Leo Moser 在 1966 年提出,源于现实生活中推沙发过走廊的情景,由于人人都可以理解而广为人知。它描述了宽度为 1 米的 L 形走廊,能通过的刚性二维形状的最大面积,该最大面积被称为沙发常数。英国数学家 John Hammersley 在 1968 年给出的沙发常数是 2.2074 平方米。Joseph Gerver 在 1992 年给出的解是 2.2195 平方米。韩国数学家 Baek Jin-eon 于 2024 年底在 arXiv 上发表了一篇 119 页的论文,证明 Gerver 的解是一个硬上限。该论文已递交到《Annals of Mathematics》。
https://www.koreaherald.com/article/10648326
https://zh.wikipedia.org/wiki/%E7%A7%BB%E5%8A%A8%E6%B2%99%E5%8F%91%E9%97%AE%E9%A2%98