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 probably not important to mathematics.
一幅画需要一点神秘,一些模糊和一些幻想。
Just as in a good novel, a good program must be full of interesting ideas, and very, very few words.
Markets fail when information is asymmetric or incentives are misaligned.