This is the mathematical problem of finding the largest 2D shape which can me maneuvered through a corner intersection of two hallways of the same width. I recently saw a summary of mathematics discoveries which occurred in 2025 and was surprised to see this one there. There's apparently a claimed proof that the largest known sofa is truly the largest. It's still going through peer review.