Deep Learning Evidence for Global Optimality of Gerver's Sofa