“好了，现在时间也不早了，如果没事的话，你回去休息吧。”
庞学林看了智子一眼，淡淡道。
智子脸上浮现出泫然欲泣的表情：“庞教授，你连暖床的机会，都不给我吗？”
一边说着，智子一边还慢慢往庞学林身边靠近！
“站住！”
庞学林忍不住打了个寒战，正色道：“好了，智子，你再这么闹别怪我把你收回系统空间了！”
智子白了庞学林一眼，说道，“庞教授，就不许我找你有事吗？”
庞学林道：“这么晚了，你还有什么事？”
智子笑嘻嘻道：“你不是说让我证明冰雹猜想吗？我搞定了！”
说罢，智子从自己雪白的领口处一掏，抽出一卷稿纸来。
庞学林微微一愣，下意识地从智子手中接过还留有余温的稿纸。
庞学林翻看了两页，一抬眼，见智子依旧站在原地，笑嘻嘻地看着自己，说道：“你还不走？”
“我想等你看完再走！”
“我今晚看不完，过两天再给你答复。”
“哼，走就走！不解风情的男人！”
智子嘟着嘴，一跺脚，提着裙摆来到窗前。
她将窗户打开，朝庞学林挥了挥手，直接从十层的高楼上跳了出去。
庞学林吓了一跳，连忙来到窗口，便看到一团黑影犹如壁虎一般，顺着酒店的外墙滑了下去，很快消失在街角。
庞学林松了口气，这才回到书桌前，重新将稿纸翻到第一页，看了起来。
时间一分一秒过去。
智子证明冰雹猜想的论文，只有短短七八页。
但这七八页纸，庞学林却整整看了两个多小时。
一直到晚上将近零点，庞学林才从思考中回过神来。
“没想到，冰雹猜想，真让智子给证明出来了，而且竟然如此巧妙。”
“而且证明过程中，隐隐可以看到庞氏几何理论的影子，但整个理论框架，似乎更加精巧细致。”
庞学林埋头沉思。
也不知道这个猜想的证明过程到底是智子数据库里本来就有，还是她自己想出来的。
如果数据库里本来就有，那还好说，如果是她自己想出来的，那就有点可怕了。
一个人工智能，假如在技术领域拥有了自我进化能力，这样的话，几乎与正常生命没有任何区别，甚至都可以独立发展出文明了。
“系统，智子具备自我学习和进化能力吗？”
庞学林心道。
“目前暂时不具备！”
“暂时不具备？什么意思？”庞学林微微一愣：“那她什么时候才能具备？”
“这一点需要宿主今后慢慢探索。”
“……”
庞学林有些无语。
系统总是如此，遇到敏感问题，说一半藏一半，有时候干脆装死。
不过冰雹猜想不是智子自己主动思考解决的就行，否则庞学林怀疑有一天，她说不定会真的变成一个超级智慧生命。
庞学林摇了摇头，将这些乱起八糟的思绪赶出大脑。
刚才看智子的论文的时候，他总感觉自己好像忽略了什么东西，却又想不出到底是什么。
他准备将论文再过一遍，看看有没有什么疏漏的地方
时间不知不觉流逝，半小时后，庞学林将论文翻到了第四页。
【引理5：存在自然数q，若q≡b1(modp1)，q≡b2(modp2)，q≡b3(modp3)……q≡bn(modpn)，p1，p2，p3……都是素数，根据剩余定理，对于给定的b1，b2……bk，q有唯一小于p1p2……pk的正整数解。】
……
庞学林皱了皱眉，这段引理给他一种莫名的熟悉感。
“素数、etale基本群、对偶阿