Grant Sanderson argues that mathematics is both invented and discovered, as we create definitions that then lead to the discovery of new mathematical truths.

“it is both but more specifically I think you you go out and you discover stuff based on your existing either your world or your existing math you use those discoveries to inform the definitions of the next step and then you make more discoveries in that next step”