Comment by GMoromisato
3 hours ago
I liked the metaphor of a climber teleported to the top of a fog shrouded mountain. And I agree that now that the teleporter exists, we need to use it to reach more peaks and explore. There's no going back to a world where AI doesn't exist.
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.