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 pr

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