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”
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”
[1] https://www.future-processing.com/blog/how-many-developers-a...
[2] https://mathoverflow.net/questions/5485/how-many-mathematici...