Mathematician solves the moving sofa problem