Mathematician solves the moving sofa problem

A mathematician at Yonsei University, in Korea, claims to have solved the moving sofa problem. Jineon Baek has posted a 100+-page proof of the problem on the arXiv preprint server.