Comment by bonoboTP

This hangs on the strange assumption that the AI will "just give the final answer" and will be unable to give a human-preferred explanation. I find this assumption strange. If it holds, then mathematicians will still have a job digesting these proofs. If the AI can digest it better, then academic mathematicians will become humanities professors funded similarly to theology, philosophy and dance professors etc. for the sake of preserving a cultural practice, like traditional handmade broom makers etc.