What is the mathematical model used for designing linux or chromium or any kind of hyper-complex software? None, there is no need for a specific mathematical mo

What is the mathematical model used for designing linux or chromium or any kind of hyper-complex software? None, there is no need for a specific mathematical models in general and it's very cringe to claim otherwise. Sure mathematical models can help in the specific and in the general but there is no set of open problems in mathematics that lead to an impossibility of making AGI. Sure p!= np but it would be ridiculous to think that brains can bypass algorithmic complexity. The real problem is that we haven't found the winning lottery ticket software and this software spoiler alert is not at all only made of neural networks