图书馆里。

江辰坐在老位置上，面前摆著一摞书。

《代数几何》《代数拓扑》《微分拓扑》《辛几何》《復几何》《算术几何》……

这些书，他之前已经刷过一遍了。

但现在再看，感觉又不一样了。

因为证明了孪生素数猜想之后，他对数学的理解，又深了一层。

那些原本就清晰无比的知识网络，现在更像是被打通了任督二脉，所有的脉络都连接得更加紧密。

他翻书的速度越来越快。

一秒一页。

不对，是一秒两页。

那些复杂的公式、定理、证明过程，像数据流一样涌入他的大脑，被自动分类、分析、存储。

唐若曦坐在他旁边，面前也摆著一摞计算机相关的书。

《深入理解计算机系统》《计算机网络》《作业系统概念》《资料库系统概论》……

她看得没江辰快，但也不慢。

一小时一本，边看边做笔记。

遇到不懂的地方，就戳戳江辰的胳膊。

“老辰，这个虚擬內存的页面置换算法，lru和lfu有什么区別”

江辰放下手里的《代数拓扑》，凑过来看了一眼。

“lru是最近最少使用，lfu是最不经常使用。”

“lru假设最近被访问过的页面，在不久的將来还会被访问。lfu假设被访问次数越多的页面，在不久的將来还会被访问。”

“举个例子，你有一堆零食。”

唐若曦眼睛一亮：“然后呢”

“lru就是你最近吃过的零食，你大概率还会再吃。lfu就是你吃得最多的零食，你大概率还会再吃。”

唐若曦若有所思：“那如果有一种零食，我最近没吃，但以前吃得特別多呢”

“那lru会把它踢掉，lfu会把它留下。”

“那到底哪个算法更好”

江辰想了想：“看你更喜欢吃哪种零食。”

唐若曦笑了：“你这比喻，还挺形象。”

“还行。”

“又还行！”

两人对视一眼，都笑了。

旁边的管理员大姐路过，看到这一幕，摇摇头。

这对小情侣，天天在图书馆撒狗粮，她都习惯了。

不过说实话，看著还挺养眼的。

男的帅，女的美，坐在一起跟画报似的。

大姐心想，要是自己年轻二十岁，估计也得犯花痴。

……

江辰的生活，就是这么悠閒。

但另一边，有三个人，可一点都不悠閒。

燕北大学，数学科学学院办公楼，三楼院长办公室。

周明远、华云丰、蔡文培，三位大佬正围坐在一张桌子前。

桌子上摆著三台笔记本电脑，一摞厚厚的草稿纸，还有几杯已经凉透了的茶。

办公室里的气氛，严肃得跟高考考场似的。

华云丰盯著屏幕，眉头拧成一个川字。

“这个引理的证明过程，英文翻译过来，有几个地方总觉得不太对劲。”

周明远凑过来看了一眼：“哪个地方”

“这里，』设a为充分大的正实数『，直接翻译成』let a be a suffitly rge positive real

nuber『，语法上没问题，但在数学论文里，通常会用』let a be a rge enough positive real『更简洁。”

蔡文培也凑过来：“不对不对，』rge enough『太口语化了，数学论文讲究严谨，还是用’suffitly

rge『更规范。”

“但’suffitly rge『在这个语境下，会不会显得太囉嗦”

“囉嗦就囉嗦，严谨第一。”

“那行，就’suffitly rge『。”

三人討论了半天，才確定了一个短语的翻译。

然后继续往下。

“这个误差项的控制部分，格式得调整一下。”

“对，这里应该用tex的beg{align}...end{align}环境，让等號对齐。”

“还有这个求和符號，上下標的位置要统一，不能有的在上边有的在右边。”

“这个梅比乌斯函数μ，字体要改成u，不能用斜体。”

“这个花体p，得用athscr{p}，不能用普通的p。”

三人你一言我一语，对著屏幕上的tex代码，一个字一个字地抠。

那认真劲儿，比他们自己当年写博士论文还夸张。

不是他们不想找学生帮忙。

实在是这孪生素数猜想的证明过程，太特么复杂了。

那些公式，那些推导，那些逻辑转折，別说普通学生了，就是数学系的博士生、研究生，十个里有九个半都看不懂。

找他们来写

那不是帮忙，是添乱。