Mathematician Solves Decades-Old Sofa Problem with New Findings