Human brains are severely limited so the mathematics they invent is severely limited and everything new are small, understandable steps that build on huge piles of proven mathematics. A computer can create entirely new huge, complex ideas we wouldn't understand because they don't depend on making small steps.