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.

▲

lumost 3 hours ago | parent [-]

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.

	▲	GMoromisato 2 hours ago \| parent [-]
		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.