Whether equations are invented or discovered is actually a matter of philosophy... somewhere in the areas ontology and epistemology. And the debate is not really settled, I believe.

https://www.pbs.org/wgbh/nova/article/great-math-mystery/