In 1966, the Austrian-Canadian mathematician Leo Moser formalized a problem plaguing humanity ever since an exhausted Australopithicus first stood in the far reaches of a cave with a comfy-looking gazelle carcass that just wouldn't budge any further.

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.

A math problem delineating the largest-size sofa that can fit around a corner has finally been solved, though it may not help you move.