The advantage that humans will have over computers in mathematics is that humans will be the judges of the value of whatever mathematics is done. That is, the judgment of what mathematics is worth doing - what is an interesting question, what has beauty - will be done by humans, and this will give humans an intrinsic advantage, because the way humans explore and do mathematics is closely bound up with their aesthetic and moral judgments.