韩国数学家 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》。