martinet矩猜想的无条件证明。”
“所以你们是想在完全不依赖广义黎曼假设的前提下去证明?-挠部分的联合矩收敛到clm预测值，并且给出一个显式的误差上界？”
三人不好意思的点了点头。
李东给他们竖起一个大拇指，说道。
“牛逼。”
这个课题牛逼是真的牛逼，但他们做不出来也是真的做不出来。
cohen-lenstra-martinet猜想是算术统计领域的核心预测。
在随机挑选素数域时，类群中?-挠部分的分布应当严格服从一套由群论给出的概率权重。
在二次域和三次域上，前人已经验证了一部分，但到了五次域这个层面，连数域的计数本身都是菲尔兹奖级别的工作，更别说在计数的同时还要追踪类群的精细结构，并且完全绕开广义黎曼假设这根最大的拐杖。
那去掉grh的後果是什麽呢？
就是你在解析数论里能用的最强大的工具，l函数零点的精确分布，全部变成了不可用状态。
你必须在看不见地图的情况下走完整条路。
李东看完论文，倒吸一口不知天高地厚。
“其实吧……我只是想让你们找其中一个小切口，比如在某个特定的galois群上给出一个有条件的结果就行了，只要你们能够凸显自己的思维方式，我都觉得ok的。”
“但我是真没想到，你们挑了块最硬的骨头来啃。”
这时周向晴开口了。
“不选难的，其他的也没意思啊。”
李东并没有反驳她，因为做科研，这口心气是一定要有的。
但他还是忍不住在心里腹诽了一句。
“问题是有意思，你们也做不出来呀。”
想到这里，他又看向了米夏。
“米夏，你这次过来应该也做了这道题吧？我能看看你的论文吗？”
米夏还没说话，周向晴就已经替她开口了。
“米夏可厉害了，他已经推过了亚凸界估计那个瓶颈了。”
他这话倒是让李东意外地看了一眼米夏。
亚凸界估计是整条证明链上最关键的技术难点，也是顾铭卡住的那个地方。
米夏跨过去了？
李东从米夏手里接过那份论文。
《五次数域族的有效判别式计数与类群?-挠矩的无条件估计》。
…。。