El problema del sofá, formulado en 1966 por Leo Moser, busca determinar el área máxima de una figura que puede girar y pasar por una esquina en forma de L dentro de un pasillo de ancho unitario. Después de décadas de intentos y aproximaciones, el matemático surcoreano Jineon Baek ha encontrado la respuesta definitiva. En un artículo de más de 100 páginas, Baek confirma que el sofá más grande que puede superar este desafío tiene un área de 2,2195 unidades, validando un diseño propuesto en 1992 por Joseph Gerver. Baek utilizó técnicas avanzadas de geometría y demostró que la máxima área posible coincide exactamente con el diseño de Gerver.