Moving sofa problem -plus new 3D rotating solution

Classic moving sofa problem: what is the smallest volume sofa that will go around a right-angled bend?Includes the Gerver sofa (now proved optimal), the older Hammersey sofa and the Romik sofa that will go round left-hand and right-hand bends.Also includes a brand-new rotating solution from Google's Alpha Evolve, see https://colab.research.google.com/github/google-deepmind/alphaevolve_repository_of_problems/blob/main/experiments/the_3d_moving_sofa/the_3d_moving_sofa.ipynb