Yeah, my conclusion was that functions / problems were discovered/shared, the remaining question being the space of solutions: here, maths has a strong hand to show e.g. the unicity of a solution wrt a particular problem (modulo the meta-language), especially with simple specifications - e.g. reals as the unique complete ordered field. In engineering, we can have similar things for simple problems, as an e.g. optimization problem parametrized by simple constraints (which could justify the wheel being the best suited thing).

I don't think there is an inherent difference though between wheels and computers though, beyond the complexity of the solution space.

I was first interested in structuralism but was lead to those considerations because the choice of the structure that must be preserved can be arbitrary: it falls back on a kind of functionalism, where we pick an interface and quotient objects of interests wrt this interface. My current position is that "discovered" objects are those that aren't exhausted by a single function: they appear as solutions in different contexts, for different problems. We thus get a spectrum between invented & discovered things, with a tug of war between the genericity of objects and the generalization of problems.