1967年，在普林斯顿有位数学家提出了一系列关于数学统一化的重要猜想，表明在数论、自守形式和群表示论之间存在着某种对应关系。这个数学家是（）