Baek’s 100-page proof, posted on the arXiv preprint server ... By applying modern mathematical tools and carefully analyzing the geometry, Baek demonstrated that Gerver’s sofa is indeed ...