“Mathematician Timothy Chow introduced the concept of an "unsolved expository problem" to describe mathematical results, such as those related to the continuum hypothesis, that are proven but not yet well understood.”