[BartjeD]

I think most computer science is inaccessible to the average programmer, who can't read and understand a mathematical proof either.

That's not to say the average programmer is a dunce. The opposite. It's simply that science and theorems are part of scientific discourse. They are usually not complete proofs and come with nuanced caveats and limitations.

It takes someone with scientific training and discipline to take that, and turn it into a feature for some IT product.

Not your average programmer. I don't think it's realistic at all to expect the IT industry at large to do these things.

That's what industry- and field- standards bodies used to do. They provided guidance and examples in that can be applied by the average programmer. These used to be sponsored by companies in their respective fields. But these days the focus is more on open source. Which has its own advantages and disadvantages.