Comment by lumost
3 hours ago
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.