I don't understand what you're trying to say here. The incompleteness theorems are a barrier to creating a "perfect" mathematician, but certainly not a barrier

I don't understand what you're trying to say here. The incompleteness theorems are a barrier to creating a "perfect" mathematician, but certainly not a barrier to creating an adequate one. Or are you trying to say that a computer would have no idea which theorems were interesting and which were dull?