That’s where I have to disagree... as most mathematicians I tend towards the idea that mathematical structures are discovered (even though techniques might be invented). There’s clearly an underlying pattern to physics, and the two main theories have to be reconciled somehow since the Universe hangs together pretty coherently; it’s just as obvious (to me, at least) that they’re mapping something with these procedures and that what they’re finding is not a side-effect of the procedure that gets randomly instantiated by the algorithm.