There seems to be a sense wher mathematicians are gamifying math, but are frustrated that AI labs are better at gamifying math.

If an AI solves a problem in an unenlightening way, then there's no reason for mathematicians to stop studying it. Pythagoream Theorem has hundreds of different proofs!

If an AI solves a problem in an enlightening way, mathematicians should study it and propose extensions.