upvote
I fear that professional mathematics will wither, and there will be nobody left to digest the AI results of the future, leaving us unable to challenge the AI.
reply
Then make 2 AI's and force them to challenge each other.
reply