Ah, so you're saying none of us will benefit from the discovery of new mathematical knowledge?

You've just condemned funding math, even human-produced math.

Either math is useful, in which case AI math is useful, or math is not useful, in which case we can save money by having mathematicians sell shoes or clean toilets.