Gerver's proof of the sofa's optimality remains to this day the only widely accepted rigorous optimality argument on this problem.