第149章 新生
它们需要走进世界里,但不能被世界的喧囂过早地吞掉。
江临收回目光,转身走向地铁站。
背影很快融进了正午的人流里。
回到酒店,江临简单吃了份外卖盒饭,打开笔记本电脑。
左侧屏幕打开终端,黑色背景上白色字符滚动。
pfr/marton v1.0 流通包第二轮冷启动校验正在运行。
右侧屏幕上,是昨晚在车里临时新建的文件夹。
piler。
里面只有一个readme文件。
他点开。
第一行是中文,昨晚在不老屯回市区的路上,他看著窗外的夜色说过的话:
【编译器不是为了追求性能峰值,而是为了让智能体在不可控硬体环境中保留计算秩序】
第二行是英文。
【piler begins as an agent portability problem, not a performance problem】
江临指尖落在键盘上,继续往下写。
初始目標——
1、建立mps-agent α核心算子的统一中间表示
2、建立不同硬体后端的代价模型,优先覆盖通用架构
3、保留任务可中断、可迁移、可回滚的执行结构
4、优先保证失效条件可见,而非追求局部性能最优
5、所有现实数据输入必须经过a/b/c/d四级边界分类
打到第五条的时候,他想起昨晚,想到如果一个运行时系统,连自己不该读什么不该碰什么都识別不了,那它迟早会犯下比算错了更严重的错误。
於是在文档最底部,又加了一行。
6、硬体后端不可假定稳定、开放、可获得。
晶片制裁不是新闻標题,不是论坛里吵来吵去的话题,也不是几个年轻人坐在车里忿忿不平的谈资。
它会落到编译器的中间表示层上,落到运行时的资源调度逻辑上,落到算子抽象层的每一次適配里。
更会落到每一次模型部署、每一次数据搬运、每一次替换硬体时,那些看不见的隱性成本里。
如果未来的mps-agent α只能在最理想的顶配硬体上跑,只能依赖稳定开放的供应链,那它根本不配叫工程系统。
那只会是个实验室玩具。
江临盯著那行字看了两秒,按下保存。
“滴——”
lean校验窗口跳出绿色的结果提示。
第二轮冷启动校验:通过。
零错误,零警告。
江临看著那抹绿色,脸上没什么表情。
第二轮通过,只说明v1.0流通包的核心逻辑已经稳定,接近可以发出的状態。
但还不能发。
正式受控流通前,还需要最后一轮只读镜像校验、完整哈希记录生成,以及所有附录引用的一致性检查。
越大的东西,越不能在刚刚转绿的时候就急著交出去。
多冷却一轮,就多一层保险。
他打开日程表。
夜色深沉,远处的城市灯火连成一片。
江临没有出门,晚饭叫了一份清淡的盒饭,吃完就一直坐在桌前。
他在逐条核对pfr/marton流通包的附录引用,確保每一篇参考文献的標註都准確无误,没有遗漏,也没有过度引申。
第三次校验的前置准备全部完成。
哈希记录脚本预跑通过,校验和一致,所有附属文件的目录结构全部核对无误。
……
翌日,16日。
当酒店窗帘拉开时,晨光铺满半张书桌。
江临已经收拾好东西,准备出门。
背上的双肩包里装著14寸主力笔记本、两块加密移动硬碟、密封袋里装著录取通知书和身份证、一叠列印好的学术证明材料。
最底层是一个带物理拨码锁的黑色硬碟盒。
里面存著pfr/piler的初始草稿。
这是他目前所有技术积累里最核心的东西,走到哪带到哪,从不离身。
今天他得去一趟清华做新生报到。
他要走的是清华六月底就为他单独制定,八月初又更新过一版的特殊入校方案。
九点二十六分,清华大学西门。
明天其实才是大一新生的报到日,但今天的校园已经热闹得像集市。
到处都是很多选择提前来熟悉环境的新生和家长。
人声混著蝉鸣,沸沸扬扬。
江临沿著校门內侧的树荫,往旁边的教工通道走了几步。
树下已经站著两个人,正朝著路口的方向望,显然已经等了一会儿。
中年男人戴细框眼镜,穿浅灰色短袖衬衫,裤子熨得笔挺,是求真书院的周明老师,之前和他邮件沟通了好几次。
旁边年轻些的女士穿藏青短袖衬衫,別著数学科学中心的工作牌,头髮扎成马尾,很乾练,是中心办公室的赵嵐老师。
看见江临过来,两人立刻迎了上来。
周明老师率先伸出手,脸上带著真切的笑意,语气里满是欢迎:“江临同学你好,我是求真书院的周明,这位是数学中心的赵嵐老师。我们到了十来分钟了,天热,怕你找不到地方。”
赵嵐也笑著点头,伸手想帮他接一下背包:“一路过来热坏了吧,包里沉不沉,我帮你拿一段?”
“不用不用,我自己来就行,麻烦两位老师了。” 江临说。
“不麻烦不麻烦!” 周老师摆著手,“你的情况特殊,书院和学校都很重视,能来我们求真书院,是我们的荣幸啊。”
三个人顺著林荫道往里走。
梧桐树的枝叶遮天蔽日,比外面凉快不少。
路上时不时有学生骑著自行车经过,车铃叮铃叮铃地响。
周明边走边说:“今天新生多,挤著耽误时间。我们走这边近道,直接去求真书院,手续都提前预审完了,今天就是签个字確认一下,不让你多跑。”
赵嵐在旁边补充:“会议室空调提前半小时就开好了,水也备著,进去先歇口气。”
没有客套的场面话,却处处透著周到。
求真书院二楼小会议室。
门一推开,凉意就裹著淡淡的茶香涌了出来。
长桌上整整齐齐摆著一沓文件,封皮印刷规整,旁边放著两瓶常温矿泉水,还有一盘切好的西瓜,显然是刚准备好的。
“坐,先坐。” 周明拉过主位旁边的椅子,等江临坐下了才自己落座,“丘先生本来是要亲自过来,只是不巧今早临时有个国际视频会推不开,特意叮嘱我们一定要接待好。”
他说著把文件往江临面前推了推,语气带著笑意:“你的情况特殊,书院和数学中心前前后后开了三次会,把培养方案捋得特別细。今天咱们一项一项过,有什么觉得不合適的,你直接提,咱们还能调。”
最先確认的是学籍。
周明翻开最上面一份《2022 级本科生学籍確认表》,指了指关键项,语气郑重:“学籍按 2022 级普通本科生录入系统,专业数学与应用数学,培养管理归口求真书院。”
江临点头,接过笔,在確认栏签上名字。
第二份是《个性化培养档案说明》。
周老师解释说:“基础课程不安排大班修读,数学分析、高等代数、解析几何、概率论、组合数学这五门核心基础课,你可以通过课程组高阶考核、专题学术报告、已发表成果审查三种方式完成学分认定,每一项都有对应的评审组和存档记录,全部可追溯。”
“公共必修环节按学校规定执行,如果后续有国际学术会议、跨洋审查会议或者企业工程事务衝突,可以提前走备案流程调整时间,书院会统一协调。”
说到这里,他笑著补了一句。
“我们也知道你手头的事比较多,制度上能给的弹性,我们都给足。”
学籍与培养档案手续全部办结。
赵嵐从文件袋里拿出一张校园卡,双手递过来,笑著说:“卡面跟普通本科生的一模一样,不显眼,你平时出门带著也方便。但权限都提前开好了,求真书院全楼、数学中心门禁、紫荆公寓17號楼的单元门和宿舍门,还有图书馆、食堂通用权限,现在刷就能用。校园网帐號和办公室有线网口下午统一开通。”
江临接过卡。
紫白色卡面,印著清华校徽、学號、他的高考报名证件照,和所有本科生的卡面没有任何区別,普普通通,看不出任何特殊。
可这张普通卡片背后,是一整套为他单独適配的制度体系。
他拿起卡,对著旁边的会议室门禁刷了一下。
滴的一声轻响,门锁弹开。
真实的接入感,比任何说明都更有分量。
十点四十二分,清华数学科学中心。
灰白色的建筑藏在梧桐树后面,楼里很安静,走廊铺著地毯,脚步声都被吞掉了大半。
偶尔有抱著书的老师走过,和赵嵐点头打招呼,顺便好奇地看江临一眼。
赵老师带著江临上二楼,走到走廊最里面的一间办公室门口。
刷卡推门进去,房间有二十来个平方。
一张实木书桌对著窗户,一把人体工学椅,靠墙立著空的三层书柜,对面墙是一整块白板,墙角有部老式固定电话。
窗外是茂密的梧桐,树影落在桌面上,隨著风轻轻晃。
很朴素,但足够安静,足够私密。
“门禁已经录你校园卡里了,24小时都能进。” 赵嵐把一串备用钥匙放在桌上,递过一张交接单,“网线、电源我们都提前测过了,没问题。办公用品我放抽屉里了,白板笔、文件夹、订书机都有。要是不够用,或者需要添印表机、文件柜什么的,你直接给我发消息,我让人当天送过来。”
她又补充了网络的事,语气很坦诚:“不过有个事特意跟你说一下,涉及未公开的学术材料、敏感项目数据,不建议接入公共网,也不要走云盘同步。公共网有统一安全审计,但內容防护靠自己把控。”
从数学科学中心出来,赵嵐没带江临往本科生宿舍区走,而是沿著紫荆路往北。
“16、17 號楼是博士和博士后住的楼栋,跟本科生1—13號楼分区管理,清净很多。” 她边走边介绍,“都是独立单人间,带套內独卫,隔音也好。你平时熬夜看论文、开跨洋会议,也不会吵到別人,也方便保管设备和材料。”
她特意补充了一句:“这个是走了特殊住宿审批的,申请理由写的是跨时区学术交流、未公开审查材料保管、个人计算设备安全和作息管理,宿管中心特批的。”
江临明白她的顾虑。
这不是优待,是匹配他需求的合理安排,所有安排都要有章可循、有档可查。
走进17號楼单元门,楼道里安安静静。
房间在四楼,402室。
赵嵐刷卡开门,侧身让江临进去:“我们上午特意让宿管阿姨通了通风,被褥都是新换的。”
房间面积和办公室差不多。
单人床、书桌、衣柜、小型书架,里面隔出一间独卫,有淋浴和洗手台。
窗户对著楼间的绿化带,关上门,外面的蝉鸣都弱了很多。
书桌上甚至提前放了一盏檯灯和一小包抽纸。
“住宿確认单在这里。” 赵嵐把单子递过来,“你看一下,没问题就签个字。钥匙给你两把,一把隨身带,一把可以放办公室备用。宿管阿姨每天打扫公共区域,房间內部自己收拾就行。”
江临接过单子扫了一眼。
上面清清楚楚印著:紫荆公寓 17 號楼、单人间、套內独卫、特殊住宿备案、不纳入本科生1—13號楼住宿分区管理。
条款清晰,手续正规。
他没多问,提笔签了字。
到这一刻,三样东西全部落定了。
普通本科新生来清华,第一天最先拥有的,是宿舍里的一张床位,和教室里的一个座位。
而江临入校的第一天,最先被確认的是三个空间。
求真书院里,一份单独建档、可追溯的培养学籍。
数学科学中心里,一间能锁门、可离线的研究办公室。
紫荆公寓里,一间安静、独立、能保管设备的单人宿舍。
学籍、研究、生活,三条线被清华提前梳理得清清楚楚,全部纳入正式制度。
至此,全部流程走完。
周明老师还有会,先回了书院,临走前特意跟江临说:“平时学习上、生活上有任何问题,直接找我或者找赵老师都行,別客气。”
赵嵐也留了自己的手机號和微信:“办公室、宿舍有任何事,隨时打我电话。我下午激活校园网了告诉你。”
两人道別后离开,江临没留在宿舍。
他的行李都还在酒店,这里现在只是一间空屋子。
一点二十五分,吃午饭的时候,手机震动了一下。
梁知夏发来消息。
【g-01c三號机两次待机巡检正常。展板下午送印,按我们定的最终版。】
【红图资本又联繫了一次,想约明天下午单独见面,我按之前的口径回了:展会期间不安排融资对接。】
【上午有两家同行公司的人过来打探,绕著展位看了半天,陈芷按公开口径回了。】
江临指尖点字,快速回復。
【按既定口径,採访只谈公开內容,拒绝直播。】
下午三点二十七分,酒店房间。
江临打开主力工作电脑,启动pfr/marton v1.0流通包的最后一轮只读镜像校验。
黑色的终端窗口里,白色字符一行行滚动,文件逐项核验:
- 主论文:通过
- 残余谱摊销引理集:通过
- marton桥构造与切换证明:通过
- 验证指南与审查说明:通过
- 47节点形式化蓝图:通过
- 第38號边界见证附录:通过
- sanders/voss 2014黑板笔记(待定版):通过
- readme与版本说明:通过
四十分钟后,校验窗口跳出绿色的pass。
哈希记录脚本自动运行,生成唯一版本指纹,所有文件批量设为只读,完整镜像正式封存。
版本號:pfr/marton v1.0-20220816。
再也不会有临时的修改,再也不会有半夜的调整。
它从江临一个人的工作,变成了一份有唯一编號、有哈希锚定的正式学术文本。
江临打开写了很久的邮件草稿。
收件人列表很长,每一个名字都分量十足:韩砚山、丁剑、丘成桐、陶哲轩、tom sanders、heinrich voss、freddie manners、ben green,还有国內几位已经进入闭门审查链的数学家。
邮件標题很简单:pfr/marton v1.0 circulation package。
正文是中英双语,写得克制正式,没有任何情绪化的表达。
……
各位好:
本邮件附版本说明、哈希指纹与审查导航readme。pfr/marton v1.0受控流通包已封存於只读镜像仓库,访问权限將通过单独邀请发放。
附件中的47节点形式化蓝图为审查导航图,不替代主手稿证明。第38號节点已纳入回应voss边界可见性测试的第三层重型见证路线,相关说明见附录b。
明日下午两点半,清华大学数学科学中心將举行闭门技术说明会,同步进行核心节点校准。
本次说明会以国內审查组现场校准为主,海外审查人不要求同步参会,会议纪要、节点索引和问题清单將在会后进入受控仓库。
江临
本章未完,点击下一页继续阅读。