凌晨一点,三号楼三层的空气像凝固的沥青。
白板墙被公式、箭头、批注层层覆盖,红蓝黑交错,像一片刚打完硬仗的战场。十几支干瘪的马克笔倒在墙角,笔帽早已失踪。
林晚照站在最左侧,红笔悬在一个积分符号上方,整整停了三分钟。她眉心紧锁,额头冒着细汗。对面,程启珩靠着桌沿,双臂抱胸,沉稳如深潭。他已经静静看了她二十分钟,不催、不打断,只陪她拼到尽头。
其他人都被赶去休息。李浩然想守着,被张薇一把拽走:“这种级别的争论,我们连旁听资格都没有。”
偌大的空间里,只剩两个人和服务器低沉的嗡鸣。
“不对。”林晚照沙哑开口,一笔擦掉积分,连带后面三行推导,“这个变换会破坏完备性。看着轻巧,代价是高维唯一性不成立。”
程启珩拿起蓝笔,在旁边写下替代表达式:“加局部光滑约束呢。唯一性能保。”
“代价太大。”林晚照摇头,“奇点才是真实数据的骨头。你一刀切光滑,根上就错。”
“那就接受不完备,用概率框架描述不确定,只要应用层能控误差——”
“不行。”林晚照截断,“‘元基’第一原则是确定性。我们造的是基础设施,不是科研玩具。不能有‘大概’‘也许’‘在某概率下’。”
两人对视,空气像被降到零度。这是今晚第七次僵住。
自从定下“反围剿第一战”,白天常规推进,夜里专攻最核心的理论骨头——那套要一击打穿对手假设的全新框架。每一条看似笔直的路,走深就撞墙:理论不自洽、工程难落地、性能过不了门槛。像走进迷宫,每个转角都是死胡同。
“换个思路吧。”程启珩去煮咖啡,苦香弥漫开来。
林晚照没接话,只是退后两步,盯着满墙推导。七小时的心血、十三条优化建议、六个争论后的妥协方案,此刻像一排排等待枪决的俘虏。她忽然意识到:那些“妥协”,从一开始可能就是错的。
“先上简化版,证明路线可行,再逐步补齐——”程启珩把咖啡递给她。
“然后发一篇不痛不痒的论文?”林晚照没喝,声音里第一次带了火气,“对手资源十倍百倍,会在半年里把我们踩过去。先发优势,瞬间清零。”
“但再卡下去,连不完美的版本都出不来。”
“那就继续想。”她把杯子放重了些,几滴咖啡溅出,“一定有一条路,既优雅又能打,只是我们还没找到。”
她抄起板擦,直接抹掉右侧三分之一——今晚争论的焦点:如何处理高维非光滑结构上的积分问题。
“你已经连轴十九小时。”程启珩按住她的手,“休息不是浪费,是让潜意识接管。还记得研二那回吗,卡在边界条件两周,你睡一觉醒来说‘换小波’。”
林晚照的手顿了顿,随即摇头:“我们没有两周,只有三个月。三个月拿不出震惊世界的东西,之前说过的话,就会变成笑话。”
“我知道。”他不松手,“可你现在这样硬顶,只是在耗损自己。”
她看向他,眼里有红血丝。那不是委屈,也不是简单的累,而是从悬崖边吹来的风——身后是万丈深渊,身前是迷雾漫天,旁边这个唯一能握住的人,此刻却叫她慢一点。
“程启珩,”她第一次说出那两个字,“我害怕。”
承认害怕,比推翻一个定理更难。
“我怕做不到,怕辜负所有人的期待,怕‘元基’因为我失败,怕三年后我们成全世界的笑柄——”
“你不会。”他打断,语气从未有过的笃定,“因为你是林晚照。”
他扶住她的肩,让她看着自己:“你是那个用满分成绩单打脸全校的人,是那个在imo赛场上让世界闭嘴的人,是那个在‘不可能’前面硬撕出一条路的人。”
“但这次不一样——”
“这次也一样。”他压低声音,“唯一的区别是,这次我在。”
他顿了顿:“你可以害怕、怀疑、短暂停下。我会在这里,托住你。”
林晚照怔怔望着他,眼眶忽然一热。她深吸气,轻轻把他的手推下去,转身面对白板。
“再试一次。”她平静下来,“就一次。天亮前还想不出来,我就睡。”
“好。”
这一次,他们不再沿着旧路打补丁。林晚照从最底层的“定义”重写,不绕术语,不逃难点;程启珩在每一步旁标注“可实现”“可并行”“会炸内存”的红线。
两人像两位顶尖棋手,在“数学”这张棋盘上重新布局。
凌晨三点。
实在睡不着的李浩然悄悄溜回三层,门缝里的一幕让他愣住了——
白板被完全清空又写得密不透风。左边是林晚照的字,工整、清晰、像教科书又比教科书更锋利。她从最原始的公理起跳,构造出一个全新的对象:它不是传统流形,也不等同于张量,介于两者之间,却更贴近真实数据的皱褶世界。右边是程启珩的蓝色批注:这里证稳定性,那里可并行,内存边界要卡死,算子要可热更新……
本小章还未完,请点击下一页继续阅读后面精彩内容!
喜欢打脸假千金后,清北大学抢疯了请大家收藏:打脸假千金后,清北大学抢疯了更新速度全网最快。
他们几乎不说话,只有笔尖摩擦的沙沙声,和停顿时沉重的呼吸。
李浩然屏息退开,给张薇发消息:“别睡了,来看片场最强对打。”
凌晨四点。
张薇、陈峰、王璐站在玻璃外,像看一场无声的燃烧。
林晚照写出一个关键等价,程启珩立刻画出计算图;她嫌某个定义不够美,擦掉重来,程启珩同时给出更简洁的工程落点。一个眼神,一个停顿,就知道对方卡在何处、要的是什么。
凌晨五点。
天边泛白,白板上终于出现了完整、自洽的雏形。
它不厚重,不繁复,轻盈、利落,像一首用符号写成的诗。逻辑线干净得能用直尺划过,细节又像暗纹那样稳稳托住。
林晚照放下笔,后退三步审视。程启珩站到她身侧。两人静静并肩了很久。
“还差最后一块,”她低声说,“怎么把它落到硬件上。再美的理论,不可计算,就是空中楼阁。”
程启珩思索片刻,在白板下方写下一行:
【把高维结构折叠到低维计算图,用迭代展开逼近无限维。】
林晚照盯着那行字,眼神一点点亮起来。
“你的意思是,把无穷维拆成一串可算的小问题,每一步都可验证,然后用迭代逼近全局。”
“对。”程启珩点头,“像多边形逼近圆。边数够多,误差就可逼近零。而多边形,能算。”
“但收敛——”
“我们不要全局闭式,只要单步严格递增。即使达不到理论最优,也能无限接近。”
林晚照的呼吸明显加快。她抓起笔,像开闸的水,迅速把算法骨架铺开:拆解、折叠、约束、验证,误差界、停机准则、鲁棒性保障……一整套“从可证明到可落地”的路径在她手里越跑越顺。
程启珩紧跟着补上关键的工程阀门:并行切片、显存分层、算子热替换、容错回滚。他们像在同一块钢板上,一人画线,一人铆钉。
清晨六点,第一缕阳光越过银杏树,照进来。
林晚照写下最后一个等号,整个人向后靠在桌沿,长长吐气。
白板上,是一个从“定义—定理—算法—工程约束”全链闭合的全新框架。它美得让人屏住呼吸。
程启珩递来一杯已经凉透的水。她一饮而尽,转头看他,唇角慢慢扬起。
“我们做到了。”
这四个字很轻,却像重锤落地。
程启珩看着她眼里的光,低声应了一句:“嗯。”
“现在我可以去睡觉了。”
“我送你。”
两人推门而出,在门口撞见李浩然他们。几个年轻人眼睛都是红的,不知是熬的还是看哭的。
“林博,程博……”李浩然哽咽,“那个……成了?”
“成了。”林晚照平静点头,“三天后,给我看到第一个能跑的原型。能做到吗?”
李浩然用力点头,眼泪掉下来:“能!一定能!”
她拍了拍他的肩,和程启珩并肩往休息区走。身后,几个人冲进办公室,对着那面“天书”又笑又哭,像看到从未想过会出现的风景。
走廊尽头,脚步声放慢。到休息区门口,林晚照忽然停下,回头望他。
“刚才你说的话,是真心的吗。”
“哪句。”
“你说,这次你在。”
程启珩沉默两秒,伸手轻轻把她揽进怀里。很轻,但足以把疲惫、恐惧、不确定挡在门外。
“我一直都在,”他在她耳边低声说,“以后也会在。”
林晚照闭上眼,把脸埋在他肩头。晨光越过窗棂,把两人的影子拉得很长。白板上的符号在阳光里泛着微光,像一扇新世界的门,刚刚被推开了一道缝。
推开它的人,在漫长战斗的缝隙里,偷得短短一刻安宁。
因为天亮之后,真正的硬仗,才刚开始。
喜欢打脸假千金后,清北大学抢疯了请大家收藏:打脸假千金后,清北大学抢疯了更新速度全网最快。