第150章 猜想开场（1/2）

八月中旬的北京，空气里还残留著盛夏的滯重与闷热。

从清晨六点半开始，五道口附近的交通干道就已经被各式各样的车辆填满。

车流缓慢地向前挪动，尾气与柏油路面蒸腾出的热浪混杂在一起。

校门，迎新点，志愿者，印著各院系名字的彩色道旗……

所有这些词汇，正在现实中拼凑成一幅喧闹而充满生机的画卷。

对绝大多数十八岁的年轻人来说，这些画面將构成他们对大学生活的最初记忆。

江临吃过早餐，收拾行李，退掉酒店房间，打了一辆网约车去清华。

不过车最终还是堵在了清华西门外的中关村北大街上。

往前望，车流排出去几百米，红色的剎车灯连成一串。

路边的人行道上全是人，拖行李箱的滚轮声、家长的叮嘱声、孩子的应答声混在一起，隔著车窗都能感受到那种热腾腾的喧闹。

“得等会儿了，每年新生报到都这样，西门能堵半小时。” 司机咂了下嘴，“要不我给你停前面路口，你走过去也就几百米。”

“可以。”

江临从车上下来，拖著行李箱站在了西门外的人行道上。

热烈欢迎2022级新同学。

校门口掛著巨大的红色横幅，风一吹，横幅猎猎作响。

门口站著穿紫色马甲的志愿者，举著清华大学迎新接待站的牌子，正在引导新生和家长走专用通道。

往里走，主干道两侧的梧桐树枝叶交叠，搭出一条天然的林荫道。

每隔几十米就有一个院系迎新点，搭著蓝色帐篷，摆著院系招牌。

经管学院、计算机系、机械工程系、建筑学院……

帐篷前挤满了人，新生递上录取通知书，志愿者笑著递过新生大礼包，家长站在旁边举著相机，不停按快门。

101看书????????????.??????全手打无错站

二校门附近人最多。

这座刻著清华园三个字的石砌牌坊前，几乎围了里三层外三层。

每一个新生都要停下来，站在牌坊正中央，让家长拍一张照。

有人拘谨地站著，有人比出剪刀手，还有的全家一起上阵，拉著行李箱也要凑进镜头里。

人声顺著梧桐道飘出去很远，夹杂著志愿者的指引声、孩子的笑声、家长带著乡音的交谈声，像一场盛大的潮汐，正慢慢漫进整个校园。

江临拖著行李箱，沿著人行道的边缘往里走。

路上有人认出了他。

先是迟疑，然后小声提醒同伴。

“是不是江临？”

“好像是。”

“他也今天报到？”

“废话，他不是去清华吗。”

有人目光追过来。

也有人举起手机，又很快放下。

越往公寓区走，迎新的气息越浓。

紫荆1號楼到13號楼是本科生常规宿舍，楼下全是搬行李的人。

家长扛著床垫和被子，孩子拖著行李箱，宿管门口排著长队领钥匙……

17號楼相比之下，简直安静得像另一个世界。

没有迎新帐篷，也没有扎堆的家长，只有宿管阿姨坐在值班室里看报纸。

江临刷卡进去。

宿舍里，他用了十分钟把行李归置好，便下楼去数学科学中心报备。

与此同时，一条消息正在清华校內的几个小圈子里，以惊人的速度发酵。

最先传出消息的是数学科学系的教师群。

【通知：今日下午2:30，数学中心一楼报告厅，pfr/marton v1.0闭门技术校准会，作者江临主讲。仅限加性组合、概率、资讯理论、形式化验证方向本校师生参加，名单制旁听，有意向的老师同学速报给系办。】

后面补了一句。

【机会难得，相关方向优先。】

群里安静了几秒。

紧接著，原本常年潜水的头像一个接一个冒了出来。

【是那个多项式弗雷曼-鲁佐猜想？】

【对，就是那个。v1.0版本，昨天凌晨刚发给核心审查者。】

【我去，江临，那个本科新生，他真做出来了？】

消息像水一样渗开。

数院的老师立刻转发给自己带的学生。

求真书院博士生群里，十点十五分，有人把通知转了进去。

【兄弟们，大新闻。下午数学中心有江临的pfr闭门会，名单制旁听，相关方向赶紧找导师报名，手慢无。】

群里本来只有几条迎新互助的消息，瞬间炸了。

【今天不是新生报到日吗？江临作为本科新生，不应该在紫荆操场排队报到吗？】

【所以才离谱啊！別人开学第一天在排队领教材，他开学第一天去给数学中心那帮博导做闭门技术校准。这世界还有没有道理可讲了？】

十点半，消息传到了交叉信息研究院。

做形式化验证的青年教师林川，本来正在开组会，和学生討论下周的 lean 验证任务。手机弹出消息，他扫了一眼，直接停住了话头。

“组会先暂停。”

学生们都愣住了。

“下午两点半，数学中心有一场 pfr/marton 的闭门技术校准会，江临主讲。” 林川把手机放到桌上，“所有做形式化验证、理论计算的，都去找系办报名，能进的都去听，组会顺延到明天上午。”

底下的学生面面相覷。

“老师，pfr 那个猜想？真做出来了？”

“v1.0 版本，今天刚进入审查。” 林川敲了敲桌子，“这个证明如果成立，我们手上好几个形式化项目的底层逻辑都要变。都去听，认真记，回来我们开专题討论。”

十一点，消息已经衝出了清华。

中科院数学与系统科学研究院，陈则民研究员坐在办公室里，刚审完一篇学生的论文初稿。

手机上弹出同门群的消息，是清华的同学发的通知。

他盯著屏幕看了半分钟，拿起手机，给自己带的三个博士生打了电话。

“你们三个，下午去清华数学中心，听一场闭门报告。”

“啊，陈老师，什么报告啊，我们下午本来要算那个加性组合的数值模擬。”

“別做了，先去听报告。如果这个证明的主链路是通的，我们手里那三个课题，方向全部都得重新调整。”

电话那头安静了几秒。

“真的假的？他不是刚做出江氏砖吗，才几天啊，又搞定pfr了？”

“他用几天时间做出来的不重要，重要的是东西。” 陈则民解释说，“能进去听就认真听，记好笔记。进不去就在外面等，看看有没有会后交流的机会。这种级別的工作，能蹭到一点边角，都比你们闷头做三个月有用。”

十一点二十分，北大数院。

几个加性组合方向的博士生正在討论室里啃三明治，一边翻最新的论文。

其中一个人刷到了朋友圈，清华的同学发的，配文是下午有硬菜，定位是清华数学科学中心。

他点进去一看，差点把三明治喷出来。

“我靠，兄弟们，江临今天下午在清华开pfr的闭门会！”

“扯吧？前阵子不还说只有个雏形吗？”

“真的，我清华同学发的，名单制旁听。”

几个人立刻围了过来。

“校外的让进吗？”

“不知道啊，我问问我导师。”

其中一个博士生立刻给导师发消息。

不到五分钟，导师回了。

【我和清华那边打了招呼，你们三个过去，报我名字，能进。赶紧的，別迟到。】

三人对视一眼，立刻抓起书包和笔记本就往外跑。

“本来以为是圈內谣言，结果导师都让我们去蹭。”

“这哪是蹭啊，这是去朝圣。”

“说真的，我到现在都有点懵。pfr啊，我们博一的时候还在討论这个猜想有多难，结果人家直接做出来开闭门会了。”

走到校门口打车的时候，其中一人忽然想起什么，说：“哎，你们说韦老师会不会去？”

另外两人脚步一顿。

“他要是感兴趣，肯定会去吧。”

……

十二点十分，资本圈也嗅到了风声。

红图资本的科技投资群里，负责硬科技赛道的投资总监张敬，发了一句话。

【確认了，江临今天在清华数学中心开 pfr/marton闭门会，国內加性组合圈的人基本都到了，线上还有陶哲轩、voss他们。】

群里本来在聊世界机器人大会的参展项目，瞬间拐了方向。

【张总，pfr 是什么？和低熵工坊有关係？】

【低熵工坊的创始人就是江临。之前我们以为他是个做机器人的创业者，现在看来，人家根本是先拿了数学领域的顶级成果，再下场做工程。】

【之前我们想约低熵工坊谈a轮，一直没约上，我还以为是对方故意拿乔。原来人家根本不是普通的硬科技创业公司，创始人是真的在同时做世界级的底层理论研究。】

【那之前的估值模型得改了。本来以为g-01六足机器人是核心资產，现在看来，江临本人的数学能力，才是低熵工坊最值钱的东西。】

投资人们的討论方向瞬间发生偏移。

不再有人谈论机器人公司的商业化落地周期，所有人的焦点都转向了创始人拥有世界级底层数学能力，对一家硬科技公司到底意味著多大的估值溢价。

群里的首席合伙人最后定调。

【別再提什么机器人展会期间顺路去展台看看这种轻慢的话了。对我们而言，g-01型机器人只是一个可见的入口，江临本人，正在变成低熵工坊最难定价，也最无法被竞爭对手复製的底层资產。】

……

上午十二点四十分，消息被搬到知乎。

数学分区下，一个新问题悄无声息地冒了出来，然后以惊人的速度往上冲。

【如何评价江临今日在清华大学数学科学中心进行的pfr/marton闭门技术报告？】

不到半小时，回答区就炸了。

高赞第一是匿名用户，標註著清华大学数学科学系博士在读。

赞数半小时衝到一千二。

【人在数学中心走廊，刚挤完旁听队伍。

本来是十八人规模的核心审查校准会，只邀请加性组合、概率、资讯理论和形式化验证方向的少数核心学者。

结果消息传得太快，数院老师、求真书院博硕、叉院做形式化和理论计算的人都找过来了，最后丘先生拍板，相关方向本校师生可以名单制旁听，校外报备过的同行也可以进。

补充个冷知识：今天是清华 2022 级本科新生正式报到日。

別人报到：领校园卡、领被褥、认室友、拍合照。