There are about 30 million coders in the world [1]
And about 80 thousand mathematicians [2]
So about 375 individuals programming for every 1 person writing proofs
If we assume this configuration is optimal, then my answer to your question is that if you had a group of 10000 people who like programming and proofs and have 9983 program and 27 write proofs this would be the best way to “accomplish more in life”