A theoretical paper which shows how under certain mathematical definitions the title statement is true. I was hoping for some real-world ideas of how to measure "diverse" and "problem solver" and/or experimental data to back it up.