I'm more interested in mathematical theorems that can be proved using techniques that were invented for computer science. I am not aware of any major theorems,

I'm more interested in mathematical theorems that can be proved using techniques that were invented for computer science. I am not aware of any major theorems, but for example I can point to CS techniques that have been used to automate proofs of certain families of inequalities and incidence theorems in geometry.