成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
我们要做的是让数据成为每个人的财富。
The world won't remember what you say, but it will never forget what you do.
艺术真正反映的不是人生，而是观者。
我们不仅要造车，还要造电池，造电机，造电控，造整个产业链。
If you can't laugh at yourself, you're missing the best joke of all.
Architecture is about public space, it's about the life that happens between buildings.
The best leaders are those who listen, learn, and then lead.