Update: Let me mention a ninth paper that just appeared on the arXive. IX. … and the optimal sofa for the moving sofa problem is … Gerver’s sofa. Optimality of Gerver’s Sofa…| Combinatorics and more