解决问题是智能系统的核心活动。
Problem solving is the central activity of intelligent systems.
I'm a fighter, I believe in the impossible.
Without models, we would be wandering in the dark when it comes to predicting climate change.
The Langlands program is a framework for exploring the deepest questions in mathematics.
【大意】能够吞舟的大鱼，一旦失去了水，也会被蝼蚁所制服，这是因为它离开了适于自己居住的处所所致。