The moving sofa problem was introduced by Leo Moser in 1966. Since then, many have tried to solve it - finding the biggest sofa that can be moved through a right angled hallway. For half a century mathematicians have failed to solve the problem, but only days ago a PhD thesis was published on by Jineon Baek, claiming to finally put an end to the sofa problem and establishing Gerver's sofa as the optimal solution. This is the story of the moving sofa problem. What do you think? Has the moving sofa problem finally been solved? #maths #mathproblems #mathematics Baek's Solution to the Moving Sofa Problem: Join Wrath of Math to get exclusive videos, lecture notes, and more: More math chats: Textbooks I Like! Graph Theory: Real Analysis: Abstract Algebra: Linear Algebra: Calculus: Proofs and Set Theory: (available for free online) Statistics: Discrete Math: Number Theory: Algebra 1: Algebra 2: Precalculus: ★DONATE★ ◆ Support Wrath of Math on Patreon: ◆ Donate on PayPal: Outro music available for channel members. Follow Wrath of Math on... ● Instagram: ● TikTok: @wrathofmathedu ● X: Sources: ~romik/movingsofa/ ~romik/data/uploads/papers/ :// 0:00 Intro 0:52 The Moving Sofa Problem 2:48 The Square 4:00 The Semicircle 5:20 Hammersley's Sofa 12:53 Gerver's Sofa 16:10 Is Gerver Optimal? 18:44 Baek's Solution