'소파 옮기기 문제(Moving Sofa Problem)'는 폭이 1인 직각 복도를 통과할 수 있는 가장 넓은 소파의 형태를 찾는 60년 된 수학 난제였다. 2024년 한국인 수학자 백진언이 넓이 약 2.2195의 '게르버 소파'가 최대임을 컴퓨터 없이 순수 수학적 논증만으로 증명하여, 사이언티픽 아메리칸이 선정한 '2025년 10대 수학 혁신'에 이름을 올렸다.