The Largest Sofa You Can Move Around a Corner | Quanta Magazine

A mathematician has proven that Gerver's sofa shape, with an area of approximately 2.2195, is the largest possible shape that can move around a 90-degree corner in a hallway, solving a 60-year-old mathematical problem without computer assistance. Jineon Baek's elegant proof introduces new mathematical techniques that could help solve other optimization problems.