“好了，现在时间也不早了，如果没事的话，你回去休息吧。”
庞学林看了智子一眼，淡淡道。
智子脸上浮现出泫然欲泣的表情：“庞教授，你连暖床的机会，都不给我吗？”
一边说着，智子一边还慢慢往庞学林身边靠近！
“站住！”
庞学林忍不住打了个寒战，正色道：“好了，智子，你再这么闹别怪我把你收回系统空间了！”
智子白了庞学林一眼，说道，“庞教授，就不许我找你有事吗？”
庞学林道：“这么晚了，你还有什么事？”
智子笑嘻嘻道：“你不是说让我证明冰雹猜想吗？我搞定了！”
说罢，智子从自己雪白的领口处一掏，抽出一卷稿纸来。
庞学林微微一愣，下意识地从智子手中接过还留有余温的稿纸。
庞学林翻看了两页，一抬眼，见智子依旧站在原地，笑嘻嘻地看着自己，说道：“你还不走？”
“我想等你看完再走！”
“我今晚看不完，过两天再给你答复。”
“哼，走就走！不解风情的男人！”
智子嘟着嘴，一跺脚，提着裙摆来到窗前。
她将窗户打开，朝庞学林挥了挥手，直接从十层的高楼上跳了出去。
庞学林吓了一跳，连忙来到窗口，便看到一团黑影犹如壁虎一般，顺着酒店的外墙滑了下去，很快消失在街角。
庞学林松了口气，这才回到书桌前，重新将稿纸翻到第一页，看了起来。
时间一分一秒过去。
智子证明冰雹猜想的论文，只有短短七八页。
但这七八页纸，庞学林却整整看了两个多小时。
一直到晚上将近零点，庞学林才从思考中回过神来。
“没想到，冰雹猜想，真让智子给证明出来了，而且竟然如此巧妙。”
“而且证明过程中，隐隐可以看到庞氏几何理论的影子，但整个理论框架，似乎更加精巧细致。”
庞学林埋头沉思。
也不知道这个猜想的证明过程到底是智子数据库里本来就有，还是她自己想出来的。
如果数据库里本来就有，那还好说，如果是她自己想出来的，那就有点可怕了。
一个人工智能，假如在技术领域拥有了自我进化能力，这样的话，几乎与正常生命没有任何区别，甚至都可以独立发展出文明了。
“系统，智子具备自我学习和进化能力吗？”
庞学林心道。
“目前暂时不具备！”
“暂时不具备？什么意思？”庞学林微微一愣：“那她什么时候才能具备？”
“这一点需要宿主今后慢慢探索。”
“……”
庞学林有些无语。
系统总是如此，遇到敏感问题，说一半藏一半，有时候干脆装死。
不过冰雹猜想不是智子自己主动思考解决的就行，否则庞学林怀疑有一天，她说不定会真的变成一个超级智慧生命。
庞学林摇了摇头，将这些乱起八糟的思绪赶出大脑。
刚才看智子的论文的时候，他总感觉自己好像忽略了什么东西，却又想不出到底是什么。
他准备将论文再过一遍，看看有没有什么疏漏的地方
时间不知不觉流逝，半小时后，庞学林将论文翻到了第四页。
【引理5：存在自然数q，若q≡b1(dddpn)，p1，p2，p3……都是素数，根据剩余定理，对于给定的b1，b2……bk，q有唯一小于p1p2……pk的正整数解。】
……
庞学林皱了皱眉，这段引理给他一种莫名的熟悉感。
“素数、etale基本群、对偶阿贝尔概型、同余数、伽罗瓦上同调，环面adele点……”
各种各样的概念不停地从庞学林的脑海里闪过。
庞学林站起身，在房间里来回走动思考。
时不时，他还回到书桌前，拿起稿纸写写算算。
庞氏几何理论中，虚二次扩张的理论一共有四个部分。
【一，定义在上半复平面上关于（2）的同余子群的模函数。二，虚二次扩张f/q。三，由f的理想所决定的上半复平面内gl（2，q）+的子群不动点。四，椭圆曲线及它的自同态环和n阶点……】
假如将这一理论向高维扩张呢？
【一，定义在有界对称域的算术子群的自守函数。二，代数数域。三、g（q）的离散子群在dge结构，结构】
这样一来，就可以通过伽罗瓦群的基本作用，来确定志村簇的性质了！
庞学林的眼睛亮了起来：“原来如此！”
他找到证明孪生素数猜想的方法了！
庞学林想了想，先用手机给德利涅发了条信息，告诉对方自己突然产生了灵感，周日不准备去普林斯顿高等研究院参观了。
接着，他又给智子留了个言，让她别来打搅自己。
随后，庞学林激动地回到书桌前，找出稿纸，开始快速得演算起来。
从流浪地球世界出来之后，无论是乡村教师世界，鲸歌世界，还是黑暗森林世界，除去他冬眠的时间，加起来将近三十年，他已经很久没有没有产生过如此兴奋的感觉了。
时间一分一秒过去，不知不觉间，外面天已大亮。
书桌上的稿纸，已经堆了厚厚一叠。
太阳渐渐升到了正中，阳光透过窗帘洒在书桌上，光影交错。
庞学林毫无所觉。
直到太阳日渐西斜，庞学林才疲惫地站起了身，证明过程已经写了将