The Goodhart framing fits: if solved puzzles stop identifying useful concepts, prizes and journals may need to reward explanations that make machine proofs reusable.

While I generally agree, the analogy to chess/speedrunning is not convincing. Math is not some hobby/sport, but these new ideas generated often are really relevant for advancing further.