机器人是未来,但未来不是机器人。
Robots are the future, but the future is not robots.
The only real music is the music of the heart.
A proof of a proposition is a process the nature of which is such as to produce in us a belief in that proposition.
我们不需要魔法来改变世界,我们内心已经拥有所需的力量。
In mathematics, truth is found not through consensus but through proof.