I don’t particularly like the title. The mathematicians showed some intuitive properties of equations that are used to model ice melting are correct. They did not prove anything about the actual physical process of ice melting, which would be something done in a physics or chemistry lab. This reminds me of when pop-sci articles discuss new developments in string theory as fact, when there has been no experimental evidence for the existence of strings.