17块白板依次摆放着，最後一块上面写着一个公式。

    lim(x→∞)[1/n?(x)]Σ{k∈f?，|disc(k)|≤x}|cl(k)[?]|=n{k≥1}(1 -???)?????+ o(x?δ)

    莎拉、顾铭、米夏、周向晴、宋怀瑾五人就这样看着那行公式，没有说话。

    足足看了十几秒，莎拉才拿出电话，拨了一个号码。

    “老师，你方便来三楼的研讨室看一下吗？”

    5分锺後，彭罗斯推门走了进来。

    “莎拉，什麽事啊？这麽急？”

    莎拉没有说话，只是苦笑着指了指那17块白板。

    彭罗斯也没多问，直接走到第一块白板，开始从头看起来。

    “bhargava–shankar的判别式筛法……嗯，这一步处理得很干净，直接用了datskovsky–wright的渐近公式做主项分离……”

    接着，他来到第二块白板面前。

    “挠精化不变量的构造……这个思路有点意思，是把?-selmer群的局部条件做了一个全局拚接？”

    没有人回答他，因为大家都知道，彭罗斯教授并不是在问任何人。

    然後第三块、第四块、第五块，直到第九块，彭罗斯的脚步停了下来。

    “零点密度的处理……没有用grh，用的是kowalski–michel的大筛法变体做替代估计？”

    “不对，等等！”

    他从莎拉手里拿过一支记号笔，然後在旁边一块空白的白板上开始验算起来。

    “误差项的显示化……”

    “如果我的主项分离用的是标准的perron公式截断，那麽余项里l函数在临界带内的阶估计就成了核心了。”

    他把刚才写下的一行公式给擦掉了，然後又重新开始写。

    研讨室里没有一个人敢说话。

    时间一点点的过去，一个小时、两个小时、3个小时。

    彭罗斯终於放下了记号笔，然後转身看着这五个人，问道。

    “你们做出来的？”

    莎拉先是点了点头，然後想了想又摇了摇头。

    “老师，准确的说是他。”

    他指了指顾铭。

    “整个证明的核心思路都是他的，我只是在?-挠精化不变量的局部-全局兼容性那一步帮了点忙。”

    彭罗斯一脸惊讶地看向顾铭。

    “我记得你是东的学生顾铭吧？”

    顾铭点了点头。

    彭罗斯呸了一声。

    “怪物的学生也都是怪物啊。”

    这一次顾铭组做出来的是什麽呢？

    【五次非阿贝尔数域上cohen–lenstra–martinet猜想的第一矩无条件收敛。】

    要知道clm猜想从上个世纪80年代就被提了出来。

    在二次域和三次域上，有人用了将近30年验证了部分结论。

    至於五次域这个层面。

    可以这麽说，现在整个数学界还是一片荒芜。

    而五次域计数本身已经是菲尔兹奖级别的工作了。

    虽然现在顾铭组只是证了它上面的第一矩。

    但这也是五次域上clm猜想的第一个严格结论。

    这是足以被写进教科书的成果。

    顾铭听到彭罗斯教授的话，连忙摆手。

    “-->>

本章未完，点击下一页继续阅读