The best is yet to come.

The important thing is not to stop questioning. Curiosity has its own reason for existing.

"写作是一种探索，不仅探索世界，也探索自我。"

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.