当今数学界最大的明珠是什么?