Comment by GMoromisato

Agreed! Specifically, compensation (monetary and reputational) for professional mathematicians was bundled into theorem proving--essentially, climbing the mountain. Now that a teleporter exists, we need to unbundle compensation.

I don't know what that means in practical terms, but I agree that's the issue.