What is their pay going to be justified by once computers start conjecturing and proving theorems on their own?

srcreigh 2 hours ago | parent | next [-]

Mathematicians will be the ones who can tell us if the computer theorems are decent or not.

Otherwise they’ll be the ones like Erdős who pose the questions in the first place.

Either way it will always be humans who decide what matters. AI is speaking our languages, not the other way around. We’re in charge. It’s impossible for us not to be, unless we can train an AI from dolphin data or other natural phenomenon.

The AIs intelligence is tuned to us and in 300 years we’ll need new training runs for the update from human zeitgeist language and the 2200 century famous mathematicians.

	▲	esafak 2 hours ago \| parent [-]
		> Either way it will always be humans who decide what matters. AI is speaking our languages, not the other way around. We’re in charge. It’s impossible for us not to be, unless we can train an AI from dolphin data or other natural phenomenon. AI companies are accruing power by virtue of its knowledge and ability to do work. If endowed with agency, which seems likely at this rate, it is the AI itself that will be powerful. And we'll be in charge because AI is trained on human language? I can't fathom the logic behind this.

▲

ralusek 2 hours ago | parent | prev | next [-]

This is kind of insane reasoning. It's basically asking "what is their pay going to be justified by once their pay isn't justified?"

	▲	esafak 2 hours ago \| parent [-]
		I think you're trying to say their pay won't be justified? You are not being clear.

▲

derektank 3 hours ago | parent | prev [-]

Attending department faculty meetings