For Heaven's sake. Sofas are 3d objects and hallways are 3d spaces. The default sofa is also much closer to a truncated box shape than the curved 'Gerver sofa' chosen for the original problem.
Yay for finally coming up with a proof on an outstanding problem, but it also seems like a pointlessly abstracted and arbitrarily defined one. I was disappointed, because back in my youth I worked as a mover for a couple of years and found the challenges of moving large objects through tight spaces without damaging anything quite enjoyable.
Incidentally, if any mathematicians are looking for a hard problem of this type, mattresses are exponentially harder to move around than sofas.
Comments
For Heaven's sake. Sofas are 3d objects and hallways are 3d spaces. The default sofa is also much closer to a truncated box shape than the curved 'Gerver sofa' chosen for the original problem.
Yay for finally coming up with a proof on an outstanding problem, but it also seems like a pointlessly abstracted and arbitrarily defined one. I was disappointed, because back in my youth I worked as a mover for a couple of years and found the challenges of moving large objects through tight spaces without damaging anything quite enjoyable.
Incidentally, if any mathematicians are looking for a hard problem of this type, mattresses are exponentially harder to move around than sofas.
Don't look into higher math...