He figured out that spacetime may be non-Euclidean before he was aware that the math had been extensively studied. Then he learned about the preexisting work.

It's true it probably would have been much harder for him to work out the math on his own. But he and/or others eventually would have done it.