国士无双：从数学猜想开始

系统与前置任务------------------------------------------。，回复数还在往上涨。标题下面跟着一长串评论，他大致扫了几眼，说什么的都有。，监考老师都走到跟前了。有人说这人平时成绩就差，期中五十九期末六十，突然这么猛肯定有问题。还有人把沈溪以前拿国奖的帖子翻出来对比，说学霸亲自下场实锤，这回没跑了。，说没证据别乱咬人，但很快被更多的跟帖淹掉了。。。只是现在有比跟人在论坛上吵架更重要的事。，毛巾搭在脖子上，看见林远盯着天花板发呆，顺嘴问了一句：“咋了远哥，被**榨干了？没事。”林远翻了个身，“困了，睡会儿。那你睡，我打两把游戏，戴耳机。”李阳打开笔记本电脑，想了想又回头补了一句，“对了，刚才楼下宿管阿姨说有你快递，我帮你拿了，放你桌上了。”，是一个文件袋，牛皮纸的，鼓鼓囊囊。“谢了。客气啥。”，很快沉浸在枪战游戏里，噼里啪啦的键盘声填满了宿舍。。他闭上眼，意识沉入了脑海深处。，冷白色的光，界面简洁得像是某种工程软件。
宿主：林远
当前能力评估：数学（S级），物理（A+级），化学（**），计算机科学（*+级），生物学（C级），其余学科（未评估）
前置任务进度：34%
任务目标：完成“庞加莱猜想变体证明”并以化名发表
任务奖励：解锁“黑科技系统”
林远看着这个面板，想起了三个月前系统刚出现的那天。
那是个周三下午，没课，他在宿舍里看一篇拓扑学的最新论文。看到一半，脑子里突然多了一个面板，冷冰冰的机械音在耳边响起来。
林远的第一反应不是惊喜，是警觉。
关不掉。不管他怎么集中注意力、怎么在心里骂人，那个面板就悬在那里，不消失。
而它说的第一句话是：
宿主智力水平已超越系统预设阈值。现强制绑定“学霸控分系统”。
他甚至没来得及问“我不绑定会怎样”，系统就给出了惩罚规则。
那个“手搓万物”的惩罚机制，他看了三遍才确认自己没有理解错——如果他某场**的分数偏离目标超过一分，系统就会随机抽取一项未来科技，强迫他在规定时间内造出来。
光刻机。
可控核聚变反应堆。
量子纠缠通讯基站。
他问系统这些技术从哪里来，系统的回答只有一句：宿主完成任务后可用奖励积分兑换图纸。
也就是说，惩罚触发的时候，光让你造，不给你图纸。
换句话说，你得自己从头开始研发。
林远当时沉默了很久，不是害怕，是真的在算这个工作量。
结论是：不划算，太麻烦了。还是老老实实控分吧。
至于系统为什么要他控分，为什么前置任务是庞加莱猜想的变体证明，为什么必须以化名发表——他问过，系统没说。
他也就不再问了。
谜语人AI，你拿它没办法。
但从那天起，林远就明白了一件事：这个系统，不管你愿不愿意，它都要推着你往前走。
而他恰好也不介意被推着走。
因为他本来就打算往前走。
只不过一个人走，和有人拿鞭子在后面催着走，区别也不大。
李阳那边战况激烈，敲键盘的频率明显升高，嘴里还念念有词：“跑啊你跑啊——唉**，这队友是人**？”
林远翻了个身，从枕头底下摸出一支笔，又从床头柜上扯了一张草稿纸。宿舍没有书桌，他就趴在床上，把草稿纸垫在枕头上开始写。
这是他的习惯。在想事情的时候手上必须做点什么，要么写，要么画。李阳第一次看到他在枕头上写字的时候觉得这人疯了，后来看多了就习惯了，偶尔还会在他写得入神的时候把枕头抽走，看他会不会一头栽下去。
结果发现他不会——他写得太投入了，能单手撑住。
林远在草稿纸上画了一个三维流形的示意图，然后在旁边标了几个拓扑不变量。
庞加莱猜想，简单来说，就是“任何一个没有洞的三维封闭空间，本质上都是一个球面”。就像你拿一根绳子套在一个球上，不管怎么套，只要没有障碍物，绳子都能收紧到一个点。但如果是一根绳子套在甜甜圈上，穿过那个洞，就收不紧了。
所以“单连通”的封闭三维流形，就是“没有洞的封闭三维空间”，它一定等价于一个球面。
佩雷尔曼在2003年证明了这个结论。
但系统给出的变体，是把问题从三维推广到了高维，并且增加了一个新的约束条件：要求流形上存在一个特定的度量结构，使得所有测地线最终都会汇聚到同一个“稳态”。
这个约束条件让原来的证明工具全部作废，因为佩雷尔曼用的是里奇流——里奇流在高维情形下的奇点结构处理不了这个新条件。
林远第一次看到这个题的时候，脑子里冒出的第一个念头是：好难。
第二个念头是：如果做出来了，能发四大顶刊。
第三个念头是：外公会高兴的。
外公。
林远的笔尖顿了一下。
他翻过草稿纸，在背面写了几行字，不是公式，是他自己的话：
“外公，我现在在做你当年想做的事。不是替你，是和你一起。等我做完，我会在论文最后的致谢里写你的名字。虽然可能只有几个人能看到，但没关系。你不需要全世界记住你。我记住就行了。”
写完之后，他把那张纸撕下来，夹在枕头下面的一个笔记本里。
然后他翻回正面，继续推演。
大约五点的时候，李阳终于死了第七把，气哼哼地关了电脑。摘下耳机才发现林远还趴在床上，草稿纸铺了一枕头。
“你一下午就趴那儿写啊？”李阳凑过去看，“又在画鬼画符？”
“拓扑。”林远头也没抬。
“哦。”李阳一个字都没听懂，但他也不装了，“那你继续，我叫外卖，吃黄焖鸡你吃不吃？”
“吃。”
“微辣？”
“嗯。”
李阳拿起手机下单，下单完了又回头看了一眼林远的草稿纸。他这次看得认真了点，因为上回林远教他的算法，他拿去给教授看的时候，教授的表情很有意思——先是不信，再是反复追问“这真是你自己想的？”，最后盯着他说“你以后多跟你那个室友学学”。
李阳当时就想，我室友随手写的东西能让你老教授看半天，我要是跟你说他**只考六十分，你信吗？
但他没说。
他不是那种会替别人吹牛的人，更何况林远明显不想让别人知道。
“远哥。”
“嗯？”
“你说时机没到，”李阳靠在椅子上转了一圈，“那时机到了的时候，你总得让我知道吧？兄弟一场，别到时候我最后一个知情，多尴尬。”
林远的笔停了。
他想了想，说：“不会最后一个。”
“行，有你这句话就行。”李阳嘿嘿笑了两声，又转回去等外卖了。
他不是不知趣的人。林远说不会最后一个，那就是会告诉他。至于现在不说——他有他的理由。
信兄弟，就不要刨根问底。
这是李阳跟林远相处三年的经验。
晚饭之后，天还没黑透。滨海大学的傍晚是一天里最舒服的时候，暑气退了一点，操场上有人跑步，篮球场那边传来球鞋摩擦地面的声响。
林远去取快递。
那个文件袋拆开之后，里面是厚厚一叠打印稿，最上面附着一张便签，老式蓝黑墨水的字迹：
“小林：这是你外公当年寄给国际期刊的论文原稿，打印出来保存到今天。**妈说你对数学感兴趣，我想这些东西还是交给你。他走之前，最后一篇论文没有写完。如果你有兴趣，就替他写完它。如果太难，就留着做个纪念。——你舅舅，2024年7月。”
林远站在宿舍楼下，把便签看了两遍。
然后他把文件袋合上，没有翻。不是不想看，是现在不能看——看了，今晚的推演就做不下去了。
他需要冷静。
外公的东西总是让他不太冷静。
他回了宿舍，把文件袋放进柜子里，关上门，然后站在窗边，看着外面的梧桐树。
天快黑了，路灯还没亮。梧桐叶在晚风里沙沙沙地响，像极了他小时候暑假住在外公家，晚上在院子里乘凉时听见的声音。外公坐在藤椅上，摇着蒲扇，一边给他讲高斯、欧拉、黎曼的故事，一边用粉笔在石板上写公式。
那些公式他当时一个字都看不懂。但他记住了外公写公式时的样子：脊背微微前倾，手腕很灵活，写完一个等号会习惯性地在末尾顿一下。
就像他今天下午在草稿纸上写公式时一样。
原来很多东西早就在他身体里了，只是他一直没有发现。
林远闭上眼睛。
脑海中的系统面板还在，冷白色的光，像个不知疲倦的监工。他忽然觉得这个系统也没那么讨厌了。至少它给了他一个方向，一个非得往前走不可的理由。
你往前走，前面有什么不知道，但至少不会停在原地。
他重新回到床上，拿起笔。
这一次他没有画流形图，而是在草稿纸最上方写了一段标题：
“关于高维庞加莱猜想在度量约束下的稳态结构——第一部分：拓扑不变量的构造。”
这是他的风格。
先立框架，再填血肉。
就像盖房子，地基打好了，上面怎么建都不会塌。
他写了一个开头，笔尖流畅地在纸面上游走。
李阳从食堂带回来的冰棍在桌上化了一半，他也没顾上吃。
窗外的蝉鸣渐渐低了下去，路灯终于亮了，昏黄的光打在梧桐叶上，漏进来的光斑落在林远的床铺上。但林远没有注意到。
他的眼睛在黑暗中亮着光。