Jineon Baek, a mathematician from Yonsei University, claims to have solved the moving sofa problem, a mathematical challenge posed by Leo Moser in 1966. Baek's proof, posted on arXiv, uses the Gerver sofa shape to determine that the maximum area of a sofa that can navigate a right-angled hallway of one unit width is 2.2195 units. The proof awaits validation by the mathematical community.
Mathematician Jineon Baek has potentially solved the "sofa problem," a 60-year-old mathematical puzzle about the largest sofa shape that can navigate a right-angled hallway corner. Baek's solution, posted on ArXiv, confirms that the maximum area for such a sofa is 2.2195 units, aligning with Joseph Gerver's 1992 lower bound. The proof, which involves complex geometry and movement calculations, awaits peer review to confirm its optimality.