Ambas. A quintessência da matemática é a ambivalência. Descobrimos algumas verdades, e inventamos, formulamos

meios para prová-las.

Peguemos o Último Teorema de Fermat, por exemplo: foi uma descoberta, mas a sua explicação
formal demorou mais de 300 anos para ser formulada sob a égide de um teorema (formulações lógicas embasadas a partir de axiomas ou mesmo outros teoremas), usando conceitos abstratos que viriam a ser descobertos ou inventados beeeem depois. Outro exemplo é que a área sob a curva f(x)=x é x²/2, mas que tem infinitas provas derivadas não só do cálculo diferencial e integral, mas também diretamente da álgebra, inclusive a tensorial.