The issue is ownership, we have no means of distributing the knowledge from the AI or rewarding those who could help.

We are quickly moving to a world where all symbolic and numeric reasoning for economic purposes is performed by AI.

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.