Knowing the answer is valuable, but it's not everything. We also want to understand why. The four-color theorem has a computer proof, so we know it's true, but we learned much less from that than we do from a human-understandable proof.

Many of the OpenAI results can be made human-understandable, so it's better than the four-color theorem example.