我的智商逐年递增 第363章 能走的那条路

小说:我的智商逐年递增 作者:介安艺 更新时间:2026-07-02 09:04:03 源网站:圣墟小说网
  这句话写完之後,陈拙没有继续往下推。

  笔尖停在纸面上方,悬了几秒,最後被他放回了桌上。

  办公室里很安静,暖气片偶尔响一下。

  不是很响。

  咔。

  又停住。

  像一个年纪很大的老教授想说话,但临时忘了要说什麽。

  陈拙靠在椅背上,看着纸上那行字。

  这句话当然很好写。

  难的是下面该写什麽。

  从已知胜利处反向拆解。

  那就得先找到那条已经走通的路。

  陈拙伸手,把面前那摞写着存在性的草稿纸往旁边挪了挪,然後站起身,走到办公室右侧的书架前。

  书架是高研院给他配的。

  木头很旧,但擦得很乾净,上面摆着不少皮埃尔让人送来的书和讲义,有些是全新的,有些则显然不知道在多少个教授手里转过一圈,书脊上有磨痕,扉页边角卷起,夹缝里还藏着旧便签和已经发黄的索引条。

  陈拙擡手,从第二层抽出一本厚讲义。

  结果它旁边一本薄册子也被带了出来,啪地一下掉在地毯上。

  他低头看了一眼。

  那本薄册子的封面上写着一行法文,底下还有皮埃尔年轻时留下的签名,字迹飞扬得有点不像数学家,反倒像某种不太靠谱的诗人。

  陈拙弯腰把它捡起来,随手拍了拍封面上的灰。

  书架上这些东西和机械厂家属楼阳台上的旧零件其实差不多。

  看起来都很严肃。

  真翻起来,也全是灰。

  他把几本书抱回桌边,放在那摞霍奇草稿旁边。

  书一放下,桌面就显得更挤了。

  常数C答辩文件夹被镇纸压在左侧,像一块已经归档的石头,右侧是乱七八糟的霍奇草稿,中间还有玛蒂尔达师母的饼乾盒,咖啡馆小票被压在盒子底下,露出一点白边。

  陈拙把饼乾盒往旁边推了推。

  他打开最上面那本旧讲义。

  纸页边缘已经有点脆,翻动的时候会发出很细的沙沙声,陈拙没有直接从目录看起,而是顺着几张旧便签的位置往後翻。

  这些便签不是他夹的。

  上面有皮埃尔的字迹,也有几处明显来自别人的批注,有人在一个定理旁边画了一个星号,又在页边写了一句非常简短的评语。

  「这里是门。」

  陈拙盯着那四个字看了两秒。

  字迹很老,墨水颜色已经淡了。

  但这句话倒是很清楚。

  这里是门。

  陈拙继续往下看。

  那一页的标题下面,写着一个他早就见过很多次的名字。

  莱夫谢茨(1,1)定理。

  霍奇猜想里少数真正让人安心的地方。

  或者说,唯一能称得上全面胜利的地方。

  陈拙把那页纸按平,坐回椅子上。

  他没有马上看细节,而是伸手拿起粉笔,走到黑板前,把昨天留下的几行公式擦掉。

  陈拙後退半步,看着那块重新露出乾净底色的黑板。

  然後,他在左边写下:

  已经走通。

  又在右边写下:

  还没走通。

  这两个标题一点也不学术。

  甚至有点像张强当年整理错题本时会写出来的东西。

  但陈拙觉得挺好。

  至少看得懂。

  左边,是人类已经走通过的那条路。

  右边,是霍奇猜想真正的深水区。

  他在左边已经走通下面写了两个词。

  霍奇类。

  除子。

  写完之後,他盯着这两个词看了一会儿。

  这就是那个成功案例最朴素的样子。

  一边是看不见的影子。

  一边是看得见的几何东西。

  在最简单的那类情况下,人类真的找到了一条路,能让影子落到地面上,变成一个可以被代数方程描述出来的对象。

  陈拙低头看了一眼旧讲义。

  讲义上当然写得更复杂。

  它不会说影子,也不会说地面。

  它会写更精确的词,会写一行又一行漂亮但不太像人话的定义,会把每一个连接都标得严丝合缝,那是数学应该有的样子。

  但陈拙现在不是在写论文。

  他是在拆东西。

  拆东西的时候,不需要先管名字好不好看。

  先看它怎麽动。

  陈拙又在霍奇类和除子之间画了一条线。

  这条线很短。

  短得让人觉得这件事似乎并不难。

  但陈拙知道,真正难的地方就藏在这条短线里。

  他小时候第一次看怀表也是这样。

  齿轮从外面看都差不多,圆的,带齿,亮晶晶,放在桌上还挺好看,可一旦真要把它们装回去,才会发现有的齿轮只负责传动,有的负责限位,有的根本不能装反。

  装错一颗。

  整块表都不走。

  左边这条已经走通的路,就是一块能走的旧表。

  现在的问题不是它走不走。

  问题是,它为什麽能走。

  陈拙把粉笔在手里转了半圈,又在那条短线下面写了一个词。

  抓手。

  写完之後,他停住了。

  这不是讲义上的词,也不是什麽正式数学语言。

  但它很准确。

  那条已经走通的路之所以能走,是因为在那个简单情形里,人类有一个能抓住影子的东西。

  就像你知道墙後面有一根绳子,还得有办法把它从缝里钩出来。

  有抓手,东西才不会只停留在应该存在上。

  有抓手,它才能被拉出来,落到桌面上,让所有人看见。

  陈拙转过身,回到桌边,翻了几页旧讲义。

  讲义里用的是更正式的说法。

  线丛。

  第一陈类。

  这些词当然重要。

  但陈拙没有把它们全抄到黑板上。

  黑板不是垃圾桶,不是什麽词都该往上扔。

  他只在抓手旁边小小地写了一个括号。

  线丛。

  然後就停了。

  够了。

  他不是要在这一章里重讲半本代数几何。

  他要找的是那块齿轮。

  在余维一的情况下,这个齿轮确实存在,它能把那些原本只在上同调里留下痕迹的影子,拉回到一个更具体的位置。

  这就是那条路能走通的原因。

  它不是靠奇蹟,它靠的是接口。

  陈拙擡头看向黑板左边。

  已经走通。

  霍奇类。

  除子。

  抓手。

  线丛。

  几个词摆在那里,并不复杂,甚至有点朴素。

  朴素到让人容易误以为霍奇猜想也不过如此。

  这当然是错觉。

  数学里最坑人也是最常见的事情,就是一个低维情形看起来很自然,於是你以为高维也能照着走。

  真走上去才发现,前面不是路,是沼泽。

  陈拙把视线移到黑板右边。

  还没走通。

  他在右边写下:

  霍奇类。

  然後在下面隔了很远的位置,写下:

  代数循环。

  中间空出一大片。

  这片空白看起来比左边那条短线刺眼得多。

  陈拙拿着粉笔,在中间画了一条虚线。

  虚线画到一半,他停住了。

  因为这条线现在还不能画实。

  左边那条路,是已经被人铺好的石板路。

  右边这条,只能算站在雾里看见了对岸的轮廓。

  常数C能做什麽?

  陈拙回到桌边,从那摞霍奇草稿里抽出几页。

  正规函数。

  渐进包络面。

  代数刚性邻域。

  这些东西已经把问题往前推了一大步。

  常数C可以像一张收紧的网,把原本在连续变化里游移不定的拓扑痕迹钉住,它能证明那道影子不会乱跑,能证明它被限制在某个非常小、非常硬的代数邻域里。

  这很重要。

  非常重要。

  如果没有这一步,後面连找都不知道往哪里找。

  但陈拙盯着那片空白,越看越清楚一件事。

  钉住影子,不等於抓住实体。

  中间还差一次正确的用力。

  陈拙把那几页草稿重新放下。

  他走到黑板前,在右边的虚线中间写了两个字。

  缺口。

  写完之後,他又皱了皱眉。

  这个词不够准。

  缺口太像是墙上破了个洞。

  而眼下的问题不是洞。

  是手伸不过去。

  陈拙拿起黑板擦,把缺口两个字擦掉。

  粉笔灰落下来,沾在他的袖口上。

  他重新写。

  抓手。

  这一次,对了。

  左边已经走通的路里,有抓手。

  右边还没走通的路里,缺抓手。

  陈拙後退一步,看着黑板。

  事情终於变得稍微清楚了一点。

  这不是说第六阶段突然变简单了。

  相反,它还是很麻烦。

  但麻烦的形状开始出现了。

  之前它像一团雾。

  现在雾里至少露出了一小截轮廓。

  陈拙重新坐回桌边,拿起那块黄油饼乾,发现只剩一个很小的角。

  他把那个角放进嘴里,慢慢嚼着。

  他低头看了看饼乾盒。

  空了。

  陈拙沉默了一下。

  玛蒂尔达师母的多吃任务完成得非常彻底。

  问题是,盒子又空了。

  明天送回去的时候,最好不要让皮埃尔教授先看见。

  不然老头子很可能会再次提出没有数学意义、但情绪很充分的抗议。

  陈拙把空盒子盖好,往桌角推了推。

  然後他重新拿起铅笔,在存在性那页纸上补了几行。

  第一行:

  简单情形能走通,是因为有抓手。

  第二行:

  常数C能定位影子,但不能直接替代抓手。

  第三行:

  第六阶段的核心,不是继续钉住,而是拉出来。

  写到第三行时,陈拙停了一下。

  他觉得拉出来这个词看起来有点粗糙。

  但也不能说不对。

  数学当然应该精确。

  可在真正找到办法之前,有些粗糙的词反而更有用。

  它像是一根临时插在泥地里的木棍,不好看,但能让人知道路大概往哪边走。

  他把纸放下,再次看向黑板。

  左边:

  已经走通。

  右边:

  还没走通。

  中间的差别,不是常数C够不够锋利。

  常数C已经足够锋利。

  它能切开很多东西,能钉住很多东西,能把原本飘着的影子压到一个固定的位置。

  可刀再锋利,也不能自动把东西从影子後面拽出来。

  刀是刀。

  手是手。

  陈拙靠在椅背上,忽然想起很久以前,自己还在阳光家属院那个小书房里,和陈建国一起对着一堆怀表零件发呆。

  那时候他什麽都不懂。

  不懂齿轮为什麽转,不懂棘轮为什麽要卡在那里,也不懂游丝为什麽一松一紧就能让时间变得有秩序。

  他只会试。

  这个不对,换下一个。

  还不对,再换。

  直到某一个零件咔哒一音效卡进正确的位置,整套结构突然动起来。

  那一瞬间的感觉,他到现在都还记得。

  不是因为修好了表。

  而是因为他第一次明白,复杂东西并不是靠复杂本身运转的。

  它总有几个关键的咬合点。

  找到那些点,整个系统才会动。

  现在也是一样。

  霍奇猜想当然比那块旧怀表复杂一万倍。

  但道理没有变。

  他不是要把所有零件同时装回去。

  他要先找到那颗真正负责咬合的齿轮。

  办公室外,走廊里又传来一点动静,有人在不远处低声说话,声音隔着厚门板,模模糊糊,听不清内容,很快,脚步声远去。

  陈拙没有理会。

  他起身走到黑板前,拿起粉笔,在右边还没走通的下方重新整理了一遍。

  霍奇类。

  影子。

  常数C。

  定位。

  抓手。

  代数循环。

  这些词一个接一个排下来。

  比刚才清楚了一些。

  但仍然不是完整的路。

  陈拙看着抓手两个字,想了想,在旁边加了一个问号。

  这个问号并不让人沮丧。

  相反,它让陈拙觉得舒服了一点。

  因为问号总比一团雾好。

  一团雾看起来什麽都像问题。

  一个问号至少说明,问题开始被压缩了。

  他拿着粉笔,轻轻点了点那个问号。

  下一步,不是继续把常数C磨得更亮。

  也不是立刻去写什麽新的大定理。

  下一步,是找高维里的抓手。

  找一个能像简单情形里的那条旧路一样,把看不见的霍奇类,一步步拖到看得见的代数循环上的东西。

  陈拙把粉笔放回粉笔槽。

  手指上沾了粉笔灰。

  他低头看了看,随手拍了两下。

  白色粉尘在空气里散开,很快就不见了。

  窗外,雪终於开始下得明显了一点。

  细小的雪粒在灯光和暮色之间飘动,落在范恩楼外光秃秃的树枝上,很快积出一层浅浅的白。

  陈拙回到桌前,把那张写着存在性的纸重新摆正。

  然後,在刚才那三行下面,慢慢写下第四行。

  找到那个能把影子拽出来的抓手。

  写完这句话,他没有再继续。

  有些东西,写到这里就够了。

  再往下写,就不是学习,是胡来。

  他把笔放下,伸手拿过那摞旧讲义,将夹着莱夫谢茨(1,1)定理的那一页折了一个小角。

  折完之後,他又觉得有点对不起这本书。

  毕竟它已经够旧了。

  陈拙想了想,从桌边撕下一小张便签,夹在那页里面,把刚才折起的角又抚平。

  这下顺眼多了。

  他把讲义合上,放在右侧草稿纸上方。

  左边是常数C答辩文件。

  右边是霍奇存在性的草稿。

  中间隔着一个空掉的饼乾盒和一张露出边角的咖啡小票。

  陈拙看着这张桌面,忽然觉得这画面很有普林斯顿特色。

  一边是足以让三百多个顶级学者起立鼓掌的数学成果。

  一边是一个还不知道怎麽下手的世纪猜想。

  中间,是玛蒂尔达师母烤空了的饼乾盒。

  挺合理。

  人类文明大概就是这样推进的。

  靠纸,靠粉笔,靠一点不太稳定的暖气。

  以及足够的黄油。

  陈拙靠回椅背,闭上眼睛休息了几秒。

  再睁开时,他把那张存在性草稿抽出来,放到最上方。

  >
为更好的阅读体验,本站章节内容基于百度转码进行转码展示,如有问题请您到源站阅读, 转码声明
圣墟小说网邀请您进入最专业的小说搜索网站阅读我的智商逐年递增,我的智商逐年递增最新章节,我的智商逐年递增 圣墟小说网
可以使用回车、←→快捷键阅读
开启瀑布流阅读