朗兰兹纲领是探索数学最深奥谜团的框架。

I don't want to be a superstar. I want to be a super person.

Talkers are usually more articulate than doers, since talk is their specialty.

对人工智能中逻辑系统的研究不仅仅是关于算法，更是关于理解推理的本质。