What began as a playful question about moving a sofa through a cramped hallway has ended with a painstaking 119‑page proof, written by hand, that mathematicians worldwide had almost given up hoping to see.
The sofa puzzle that refused to go away
Back in 1966, Austrian‑Canadian mathematician Leo Moser posed a problem that sounded almost like a joke. Picture a corridor shaped like an L, each leg one metre wide. What is the largest rigid flat shape that can be pushed around the right‑angle bend without lifting or bending it?
This became known as the “moving sofa problem”. The rules are simple. The geometry is not. You can rotate and slide the shape, but every point must always stay inside the corridor.
The question is easy to grasp in seconds and then resists decades of effort from some of the brightest minds.
Over time, the puzzle turned into a minor legend in mathematical circles. It appeared in textbooks, on problem sheets, and in late‑night conversations at conferences. People could find shapes that worked reasonably well, but no one could prove which shape was truly the best possible.
Early contenders, almost but not quite
The first serious attack came in 1968 from British mathematician John Hammersley. He proposed a curved shape with an area of about 2.2074 square metres. That was a record, but he did not show it was unbeatable.
In 1992, American mathematician Joseph Gerver designed a far more intricate shape, stitched together from several smooth curves, with an area of about 2.2195 square metres. Most specialists came to believe that Gerver’s shape was the right answer.
Yet a belief is not a proof. For more than 30 years, Gerver’s design sat at the centre of countless numerical experiments. Researchers used computers to search for better shapes. None were found, but no one could rule them out either.
Gerver’s sofa looked like the champion, but nobody could show there was no larger sofa hiding just beyond our intuition.
➡️ Why Gen Z Needs To Relearn The Simple Gestures Of Everyday Life
➡️ “I’m 60+ and felt drained by busy places”: the sensory reason behind it
➡️ Emergency declared in Greenland as researchers spot orcas breaching near melting ice shelves
➡️ Put A Lemon Slice In Your Cold Oven : Why People Are Doing It And When It Actually Helps
Why the problem was so stubborn
The moving sofa puzzle hides a nasty feature: it mixes continuous motion, geometry and optimisation. The shape must squeeze past the corner while respecting the corridor’s boundaries at every instant.
Mathematicians could approximate the best path with computers, but small numerical errors and discretisation made a fully rigorous argument elusive. A tiny mistake could, in principle, allow a slightly larger shape to exist.
- The corridor is only one metre wide in both legs.
- The shape must remain rigid and flat at all times.
- Only sliding and rotating are allowed, no lifting.
- The goal is to maximise the area of the shape.
Enter Baek Jin‑eon, with pencil and paper
South Korean mathematician Baek Jin‑eon first encountered the moving sofa problem during his mandatory military service. Stationed at the National Institute for Mathematical Sciences, he stumbled across the puzzle almost by chance.
What caught his attention was not just the difficulty, but the lack of a solid theoretical framework. The problem felt oddly free‑floating, treated largely through computer experiments and clever guesses rather than deep structure.
Baek set out not to run one more simulation, but to rebuild the entire problem from the ground up as a precise optimisation theory.
He continued attacking the sofa during his PhD at the University of Michigan and later at the June E. Huh Center for Mathematical Challenges at the Korea Institute for Advanced Study. Over seven years, he developed a chain of arguments that stayed resolutely analytic.
No optimisation software. No machine‑learning tools. Not even a geometry package to check pictures. Just pen, paper, and an insistence that every step be logically airtight.
The 119‑page proof that changes the story
In late 2024, Baek posted a 119‑page manuscript on the scientific repository arXiv. Inside, he claims to have settled Moser’s question: Gerver’s shape really is optimal. There is no larger shape that can make the turn.
The heart of his strategy lies in turning the informal puzzle into a precise optimisation problem. Instead of thinking in terms of sofas and corridors, Baek describes the motion and contact points mathematically, reducing them to strict conditions.
| Year | Researcher | Key contribution |
|---|---|---|
| 1966 | Leo Moser | Poses the moving sofa problem |
| 1968 | John Hammersley | Proposes a large candidate shape (≈2.2074 m²) |
| 1992 | Joseph Gerver | Designs complex “Gerver sofa” (≈2.2195 m²) |
| 2024 | Baek Jin‑eon | Proves Gerver’s shape is optimal |
By combining geometric inequalities with careful analysis of the possible motions, Baek eliminates every potential competitor. Any shape that tries to take a different route or exploit a different contact configuration ends up losing area somewhere else.
A quiet victory for human reasoning
Baek has described his process as a cycle of hope and collapse: moments when the structure seemed clear, followed by days when a single contradiction forced him to retrace his steps. He likened the work to waking from one dream into another.
At 31, he now works in combinatorial geometry and optimisation in a research ecosystem that is rapidly raising South Korea’s profile in mathematics. His moving sofa proof is currently under review at the prestigious Annals of Mathematics, which routinely subjects submissions to intense scrutiny.
The result arrives at a time when many high‑profile breakthroughs lean heavily on computers, and it highlights that slow, abstract thinking still has sharp teeth.
The story also sends a subtle message to younger researchers: high‑impact work can grow from a simple question, if treated with enough patience and respect for detail.
Why anyone should care about a moving sofa
On the surface, the puzzle sounds like an odd curiosity. Yet problems like this act as testbeds for mathematical tools that later spread elsewhere. Techniques used to track the motion of a shape through a tight corridor relate to control theory, robotics and logistics.
Robotic arms that need to manoeuvre parts through factories face similar constraints. Planning the motion of autonomous vehicles in narrow streets, or folding and packaging in manufacturing lines, can echo the same geometry.
There is also a cultural side. The moving sofa problem shows how mathematics feeds on playful questions. A thought experiment about furniture can grow into a multi‑decade research programme spanning three continents.
Key ideas behind the jargon
Baek’s work sits at the intersection of several fields, and a few terms help decode it:
- Optimisation: finding the best object or decision within a set of constraints, such as the largest area that still fits the corridor.
- Geometric inequality: a rule that limits possible shapes, often stating that one quantity (like area) cannot exceed another built from lengths or angles.
- Combinatorial structure: the way different contact points and motions can be arranged and combined, a kind of bookkeeping for configurations.
One can imagine a simplified version at home. Suppose you want to move a rigid table around a tight corner in a hallway. You might rotate it, angle it, and slide it, feeling where it nearly scrapes the walls. The moving sofa problem is the idealised, perfectly measured version of that struggle, stripped of friction, dents and frustration.
In practice, builders, engineers and game designers regularly face related questions: what is the largest object that can pass through a doorway, or navigate a maze‑like level, or pack into a container? The tools behind Baek’s proof offer a sharper way of expressing and bounding those limits, even if the exact curves of Gerver’s sofa never appear in a warehouse.
Originally posted 2026-03-05 02:12:43.