So far, a lot of the hullabaloo has been around solving legacy problems, but more interesting and more important for actually progressing mathematics is the generation of new insight and new problems. Someone had to pose all those problems OAI is solving in the first place, in some cases, ages ago.

The collective letter response to navier strokes, sort of touched on this, but still didn't really emphasize the epistemic value of problem generation explicitly. I find it sort of strange that this has been so underemphasized.

This leads to the comment I've seen many mathematicians make that humans should refocus on understanding not just proofs and mechanics.