The world is the totality of facts, not of things.

你乐于挥霍的时间，不算浪费。

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.