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.

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?"

Attending department faculty meetings