Don’t ask yourself what the world needs. Ask yourself what makes you come alive and then go do that, because what the world needs is people who have come alive.
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is a finite problem.
The fountain of content must spring up in the mind, and they who have so little knowledge of human nature as to seek happiness by changing anything but their own dispositions will waste their lives in fruitless efforts.