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 best decisions are made when you bring together diverse perspectives and challenge each other's thinking.

有时会得到未曾料到的赞美声誉，有时会碰到求全苛责的毁谤攻击。

The most dangerous phrase in the language is, 'We've always done it this way.'

I don’t like to do easy things. I like to do things that are challenging and that push me.