数学优化的方法解决了勒让德猜想，是真的吗？”
袁意同突然的提问，让乔源收回了目光，看向身边的老人，然后点了点头。
“其实是我跟骆师姐一起解决的，不过的确用到了之前论文的一个重要引理”
袁意同点了点头，随后似乎陷入了回忆之中。
“我记得还是九十年代的时候，有次我跟张之文教授一起吃饭，我就问了他一个问题。
你证明的bogoolov猜想在特征p的稳定性由什么保证？你猜当时他怎么回答的？”
乔源摇了摇头，他连张之文是谁都不知道。
好在旁边自然有人会捧哏。
“袁老，这可又是我们不知道的故事啊。张教授想必当时也很头疼吧？”
袁意同笑着摇了摇头，答道：“小张当时就拿出笔跟纸，饭菜都还没上桌，就把i—adic上同调的单调性公式给推出来了。”
一句话换来同桌上一阵感慨。
“张教授也是有大才的人啊！”
“哈哈，能在普林斯顿当教授哪能没有两把刷子。”
袁意同笑了笑，然后看向乔源问道：“今天我也问你一个问题，看你能不能在菜都上桌之前把问题解出来如何？”
乔源点了点头，答道：“我试一下吧。
“好。”
袁意同沉吟了片刻，然后随意的拿起筷子，在桌布上随便划拉了两下。
面前的桌布皱成了一个双曲面的痕迹。
“既然你解决了勒让德猜想，那我们就问一个关于素数的问题。
设是负曲率紧致黎曼流形，其拉普拉斯算子的第一非零特征值λ1与黎曼ζ函数在2处的值与素数的倒数平方和Σp—2有何本质关联？”
当所有人目光都集中在乔源身上，少年下意识的挠了挠头，然后看向骆馀馨问了句：“骆学姐，你带笔跟纸了没？”
骆馀馨默不作声的从随身包里拿出一只钢笔跟一个小本子递了过去。
接过纸笔的乔源立刻在本子上书写起来。
一边写还一边开口解释着。
“要考虑selberg迹公式。对于紧致双曲曲面，特征值λ1与素数计数函数的震荡行为有关。
对于高维负曲率流形，热核的渐近行为由特征值控制，而热核又与ζ函数相关。
考虑到特别情况我们有——其中tr（et△）就是热核的迹，它会在t→0+时具