在理论物理学的领域里，每一个发现都会带来新的问题和挑战。

阳光撒进头，仿若自由人。

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.