使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
"The only real failure in life is not to be true to the best one knows."
Inside us there is something that has no name, that something is what we are.
大疆的成功源于我们对技术的执着。
感叹古代工匠的智慧与技艺高超。