米夏？
李东砸吧了下嘴，他当然还记得那个班里的学习委员，对了还有那双被人吐槽无数的狐狸眼。
李东之前听陈越说过，米夏去了金陵大学，但具体是学的什么……他确实是不知道。
没想到现在能在一篇数学论文上重新看到这个名字。
李东抬头看向了周向晴。
“这个米夏同学……”
话还没问完，E人周向晴的话匣子就打开了。
“哦，她是我的一个学妹，也在金陵大学。”
“人超聪明的，就是话少了一点，平时也不爱跟人打交道。”
周向晴说着说着就停不下来了，完全不顾这是什么场合。
“其实这篇论文她出的力更大。”
“关键引理那个构造，完全是她的思路。”
“我本来说让她排一作，结果她说就按姓氏首字母排吧，我也没拗过她。”
“哦对了李教授您知道吗，她平时不怎么跟人说话，但只要遇上有意思的数学问题，她就特别能说。”
李东听着，也不自觉地笑了下，这很符合米夏同学在李东教授心中的形象嘛。
不过李东也没打算因为这个人是米夏的学姐，就对她有什么额外的照顾。
他打断了周向晴。
“好了。”
周向晴立刻闭嘴。
“咱们也算认识了，”李东看着三个人，“我对你们都挺满意的。”
说到这里他从抽屉里拿出三张A4纸。
“所以我给你们出了一道题。”
“过几天我要出去一趟，等我回来的时候，你们把答案给我就行。”
“要是做不出来的话，那你们还得再沉淀沉淀。”
说完他就把三张纸给了三人。
三个人低头一看。
然后……
六眼懵逼。
【设K遍历所有满足|Disc(K)|≤X的五次非阿贝尔数域，Cl(K)为其类群，ℓ为不整除|Gal(K/Q)|的素数。】
【证明：当X→∞时，Cl(K)[ℓ]的联合矩统计量收敛至Cohen–Lenstra–Martinet预测值，并对误差项给出一个不依赖于广义黎曼假设的显式上界。】
这道题乍一看去不长，而且好像很简单。
但在座的三个人，哪一个不是天之骄子，自然都足以看懂它意味着什么。
Cohen–Lenstra–Martinet猜想，是算术统计领域悬了四十多年的核心预测。
它断言，如果你“随机”抓一堆数域放在一起，它们的类群中ℓ－挠部分的分布，应当严格服从一套由群论给出的概率权重。
打个不太恰当的比方，就好像你往一个箱子里不停地扔不同形状的骰子，然后问：扔出来的点数分布，到底服从什么规律？
这个预测在二次域和三次域上已经被部分证实，但到了五次域这个层面，几乎是一片真空。
不是因为没人试过，而是因为五次域的计数本身就是一件极其困难的事，更别提在计数的同时还要精确追踪类群的代数结构了。
而题目要求的“不依赖广义黎曼假设的显式误差项”，更是把难度直接拉到了天花板。
广义黎曼假设，GRH，是整个解析数论的大梁。
几乎所有涉及素数分布、L函数零点和数域计数的深层结论，都或多或少依赖于这个至今未被证明的假设。
去掉这根拐杖，等于要从零开始搭一条全新的路。
所以李东这出的可不是一道考试题这么简单，而是一篇论文——一篇足够上顶刊的论文。
三个人面面相觑，脸色都不太好看。
其实这道题，是李东和小黑玩数学时无聊玩出来的。
那天小黑鬼迷日眼的从角落冒了出来说：“主人，你看看我出的这道题怎么样啊？”
李东当时扫了一眼，还真被小小地震了一下。
他没想到这个小东西出题的眼光这么刁钻。
题目本身不复杂，寥寥几行字就说清楚了，可要真动手做，里面至少藏着三四个独立的难点，哪一个单拎出来都不好对付。
那天晚上他坐在电脑前想了大半夜，前前后后琢磨出五种不同的证明路径：有一条走解析延拓和亚凸界估计，有一条走筛法与几何计数，还有一条从自守表示的谱分解入手，每一条都能独立成文，却又各有各绕不过去的技术障碍。
当时他就觉得，这题出的确实漂亮。
现在正好拿来考这三个想报他研究生的学生。
李东看着他们变了色的脸，笑着说：“哎，放轻松，就是个小游戏而已。”
三个人相互看了一眼，都是无奈苦笑。
李东教授的“小游戏”他们也做不出来呀。
两个男生没有说话，只有周向晴性格大大咧咧，直接就说了出来：“李东教授，太难了我做不出来。”
李东愣了一下。
“你这么直接的吗？”
然后还是笑着说：“能做多少是多少。”
周向晴点了点头，倒也不纠结。
宋怀瑾没吭声，只是看着题目眉头越皱越紧。
这道题正中他的研究方向，可也正因如此他比另外两个人更清楚这里面的水到底有多深。
顾铭的表情最复杂。
他是三个人中数学底子最好的，也最清楚这道题到底有多离谱。
他的方向偏几何朗兰兹与Hecke特征束，如果要从这个角度切入这道题，就得借道自守表示的谱分解去估计数域的计数函数——这条路他以前想过，可每次走到关键的那一步就会撞上一堵分析上的墙。
而这道题要求的，恰恰是把那堵墙拆掉。
李东见三人为难的样子，笑了笑说道。
“你们回去好好想想，到时候给我答案就好。”
于是三人一脸难看的出去了。
就在门关上的瞬间，李东的笔记本电脑右下角，小黑跑了出来。
【主人，有人在动我们的玩具。】
……