自守形式的研究是进入数论核心的旅程。
The study of automorphic forms is a journey into the heart of number theory.
The concept of nondeterminism in computation is one of the most important ideas in computer science.