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 ultimate test of any economic theory is whether it improves real-world decisions.