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.
The creative act is not pure. History evidences it. Ideology demands it. Society exacts it. The artist loses his freedom the moment he creates a work of art.
你越爱自己,就越不会容忍无意义的事。
The only way to make sense out of change is to plunge into it, move with it, and join the dance.