我希望不久之后我们就能有一台能够解决所有数学问题的机器。
The stars are not afraid to appear like fireflies.
In productive thinking, the transition from blind manipulation to understanding is crucial.