How will this question resolve if AI becomes significantly stronger than human mathematicians at math and therefore the nature of the profession is transformed in some way?

@OlegEterevsky For example, what if mathematicians will primarily do teaching, rather than research?

@OlegEterevsky As long as the word "relying on" makes sense...

@OlegEterevsky So teaching but utilizing proof assistants would qualify.

I think it would happen but nobody’s actually going to conduct a randomly sampled poll on this.

@thepurplebull I've added "trustworthy evidence" as also a resolution qualifier.