八月中旬的北京，空气里还残留着盛夏的滞重与闷热。
从清晨六点半开始，五道口附近的交通干道就已经被各式各样的车辆填满。
车流缓慢地向前挪动，尾气与柏油路面蒸腾出的热浪混杂在一起。
校门，迎新点，志愿者，印着各院系名字的彩色道旗……
所有这些词汇，正在现实中拼凑成一幅喧闹而充满生机的画卷。
对绝大多数十八岁的年轻人来说，这些画面将构成他们对大学生活的最初记忆。
江临吃过早餐，收拾行李，退掉酒店房间，打了一辆网约车去清华。
不过车最终还是堵在了清华西门外的中关村北大街上。
往前望，车流排出去几百米，红色的刹车灯连成一串。
路边的人行道上全是人，拖行李箱的滚轮声、家长的叮嘱声、孩子的应答声混在一起，隔着车窗都能感受到那种热腾腾的喧闹。
“得等会儿了，每年新生报到都这样，西门能堵半小时。” 司机咂了下嘴，“要不我给你停前面路口，你走过去也就几百米。”
“可以。”
江临从车上下来，拖着行李箱站在了西门外的人行道上。
热烈欢迎2022级新同学。
校门口挂着巨大的红色横幅，风一吹，横幅猎猎作响。
门口站着穿紫色马甲的志愿者，举着清华大学迎新接待站的牌子，正在引导新生和家长走专用通道。
往里走，主干道两侧的梧桐树枝叶交叠，搭出一条天然的林荫道。
每隔几十米就有一个院系迎新点，搭着蓝色帐篷，摆着院系招牌。
经管学院、计算机系、机械工程系、建筑学院……
帐篷前挤满了人，新生递上录取通知书，志愿者笑着递过新生大礼包，家长站在旁边举着相机，不停按快门。
二校门附近人最多。
这座刻着清华园三个字的石砌牌坊前，几乎围了里三层外三层。
每一个新生都要停下来，站在牌坊正中央，让家长拍一张照。
有人拘谨地站着，有人比出剪刀手，还有的全家一起上阵，拉着行李箱也要凑进镜头里。
人声顺着梧桐道飘出去很远，夹杂着志愿者的指引声、孩子的笑声、家长带着乡音的交谈声，像一场盛大的潮汐，正慢慢漫进整个校园。
江临拖着行李箱，沿着人行道的边缘往里走。
路上有人认出了他。
先是迟疑，然后小声提醒同伴。
“是不是江临？”
“好像是。”
“他也今天报到？”
“废话，他不是去清华吗。”
有人目光追过来。
也有人举起手机，又很快放下。
越往公寓区走，迎新的气息越浓。
紫荆1号楼到13号楼是本科生常规宿舍，楼下全是搬行李的人。
家长扛着床垫和被子，孩子拖着行李箱，宿管门口排着长队领钥匙……
17号楼相比之下，简直安静得像另一个世界。
没有迎新帐篷，也没有扎堆的家长，只有宿管阿姨坐在值班室里看报纸。
江临刷卡进去。
宿舍里，他用了十分钟把行李归置好，便下楼去数学科学中心报备。
与此同时，一条消息正在清华校内的几个小圈子里，以惊人的速度发酵。
最先传出消息的是数学科学系的教师群。
【通知：今日下午2:30，数学中心一楼报告厅，pFR/rton v1.0闭门技术校准会，作者江临主讲。仅限加性组合、概率、信息论、形式化验证方向本校师生参加，名单制旁听，有意向的老师同学速报给系办。】
后面补了一句。
【机会难得，相关方向优先。】
群里安静了几秒。
紧接着，原本常年潜水的头像一个接一个冒了出来。
【是那个多项式弗雷曼-鲁佐猜想？】
【对，就是那个。v1.0版本，昨天凌晨刚发给核心审查者。】
【我去，江临，那个本科新生，他真做出来了？】
消息像水一样渗开。
数院的老师立刻转发给自己带的学生。
求真书院博士生群里，十点十五分，有人把通知转了进去。
【兄弟们，大新闻。下午数学中心有江临的pFR闭门会，名单制旁听，相关方向赶紧找导师报名，手慢无。】
群里本来只有几条迎新互助的消息，瞬间炸了。
【今天不是新生报到日吗？江临作为本科新生，不应该在紫荆操场排队报到吗？】
【所以才离谱啊！别人开学第一天在排队领教材，他开学第一天去给数学中心那帮博导做闭门技术校准。这世界还有没有道理可讲了？】
十点半，消息传到了交叉信息研究院。
做形式化验证的青年教师林川，本来正在开组会，和学生讨论下周的 Lean 验证任务。手机弹出消息，他扫了一眼，直接停住了话头。
“组会先暂停。”
学生们都愣住了。
“下午两点半，数学中心有一场 pFR/rton 的闭门技术校准会，江临主讲。” 林川把手机放到桌上，“所有做形式化验证、理论计算的，都去找系办报名，能进的都去听，组会顺延到明天上午。”
底下的学生面面相觑。
“老师，pFR 那个猜想？真做出来了？”
“v1.0 版本，今天刚进入审查。” 林川敲了敲桌子，“这个证明如果成立，我们手上好几个形式化项目的底层逻辑都要变。都去听，认真记，回来我们开专题讨论。”
十一点，消息已经冲出了清华。
中科院数学与系统科学研究院，陈则民研究员坐在办公室里，刚审完一篇学生的论文初稿。
手机上弹出同门群的消息，是清华的同学发的通知。
他盯着屏幕看了半分钟，拿起手机，给自己带的三个博士生打了电话。
“你们三个，下午去清华数学中心，听一场闭门报告。”
“啊，陈老师，什么报告啊，我们下午本来要算那个加性组合的数值模拟。”
“别做了，先去听报告。如果这个证明的主链路是通的，我们手里那三个课题，方向全部都得重新调整。”
电话那头安静了几秒。
“真的假的？他不是刚做出江氏砖吗，才几天啊，又搞定pFR了？”
“他用几天时间做出来的不重要，重要的是东西。” 陈则民解释说，“能进去听就认真听，记好笔记。进不去就在外面等，看看有没有会后交流的机会。这种级别的工作，能蹭到一点边角，都比你们闷头做三个月有用。”
十一点二十分，北大数院。
几个加性组合方向的博士生正在讨论室里啃三明治，一边翻最新的论文。
其中一个人刷到了朋友圈，清华的同学发的，配文是下午有硬菜，定位是清华数学科学中心。
他点进去一看，差点把三明治喷出来。
“我靠，兄弟们，江临今天下午在清华开pFR的闭门会！”
“扯吧？前阵子不还说只有个雏形吗？”
“真的，我清华同学发的，名单制旁听。”
几个人立刻围了过来。
“校外的让进吗？”
“不知道啊，我问问我导师。”
其中一个博士生立刻给导师发消息。
不到五分钟，导师回了。
【我和清华那边打了招呼，你们三个过去，报我名字，能进。赶紧的，别迟到。】
三人对视一眼，立刻抓起书包和笔记本就往外跑。
“本来以为是圈内谣言，结果导师都让我们去蹭。”
“这哪是蹭啊，这是去朝圣。”
“说真的，我到现在都有点懵。pFR啊，我们博一的时候还在讨论这个猜想有多难，结果人家直接做出来开闭门会了。”
走到校门口打车的时候，其中一人忽然想起什么，说：“哎，你们说韦老师会不会去？”
另外两人脚步一顿。
“他要是感兴趣，肯定会去吧。”
……
十二点十分，资本圈也嗅到了风声。
红图资本的科技投资群里，负责硬科技赛道的投资总监张敬，发了一句话。
【确认了，江临今天在清华数学中心开 pFR/rton闭门会，国内加性组合圈的人基本都到了，线上还有陶哲轩、Voss他们。】
群里本来在聊世界机器人大会的参展项目，瞬间拐了方向。
【张总，pFR 是什么？和低熵工坊有关系？】
【低熵工坊的创始人就是江临。之前我们以为他是个做机器人的创业者，现在看来，人家根本是先拿了数学领域的顶级成果，再下场做工程。】
【之前我们想约低熵工坊谈A轮，一直没约上，我还以为是对方故意拿乔。原来人家根本不是普通的硬科技创业公司，创始人是真的在同时做世界级的底层理论研究。】
【那之前的估值模型得改了。本来以为G-01六足机器人是核心资产，现在看来，江临本人的数学能力，才是低熵工坊最值钱的东西。】
投资人们的讨论方向瞬间发生偏移。
不再有人谈论机器人公司的商业化落地周期，所有人的焦点都转向了创始人拥有世界级底层数学能力，对一家硬科技公司到底意味着多大的估
从清晨六点半开始，五道口附近的交通干道就已经被各式各样的车辆填满。
车流缓慢地向前挪动，尾气与柏油路面蒸腾出的热浪混杂在一起。
校门，迎新点，志愿者，印着各院系名字的彩色道旗……
所有这些词汇，正在现实中拼凑成一幅喧闹而充满生机的画卷。
对绝大多数十八岁的年轻人来说，这些画面将构成他们对大学生活的最初记忆。
江临吃过早餐，收拾行李，退掉酒店房间，打了一辆网约车去清华。
不过车最终还是堵在了清华西门外的中关村北大街上。
往前望，车流排出去几百米，红色的刹车灯连成一串。
路边的人行道上全是人，拖行李箱的滚轮声、家长的叮嘱声、孩子的应答声混在一起，隔着车窗都能感受到那种热腾腾的喧闹。
“得等会儿了，每年新生报到都这样，西门能堵半小时。” 司机咂了下嘴，“要不我给你停前面路口，你走过去也就几百米。”
“可以。”
江临从车上下来，拖着行李箱站在了西门外的人行道上。
热烈欢迎2022级新同学。
校门口挂着巨大的红色横幅，风一吹，横幅猎猎作响。
门口站着穿紫色马甲的志愿者，举着清华大学迎新接待站的牌子，正在引导新生和家长走专用通道。
往里走，主干道两侧的梧桐树枝叶交叠，搭出一条天然的林荫道。
每隔几十米就有一个院系迎新点，搭着蓝色帐篷，摆着院系招牌。
经管学院、计算机系、机械工程系、建筑学院……
帐篷前挤满了人，新生递上录取通知书，志愿者笑着递过新生大礼包，家长站在旁边举着相机，不停按快门。
二校门附近人最多。
这座刻着清华园三个字的石砌牌坊前，几乎围了里三层外三层。
每一个新生都要停下来，站在牌坊正中央，让家长拍一张照。
有人拘谨地站着，有人比出剪刀手，还有的全家一起上阵，拉着行李箱也要凑进镜头里。
人声顺着梧桐道飘出去很远，夹杂着志愿者的指引声、孩子的笑声、家长带着乡音的交谈声，像一场盛大的潮汐，正慢慢漫进整个校园。
江临拖着行李箱，沿着人行道的边缘往里走。
路上有人认出了他。
先是迟疑，然后小声提醒同伴。
“是不是江临？”
“好像是。”
“他也今天报到？”
“废话，他不是去清华吗。”
有人目光追过来。
也有人举起手机，又很快放下。
越往公寓区走，迎新的气息越浓。
紫荆1号楼到13号楼是本科生常规宿舍，楼下全是搬行李的人。
家长扛着床垫和被子，孩子拖着行李箱，宿管门口排着长队领钥匙……
17号楼相比之下，简直安静得像另一个世界。
没有迎新帐篷，也没有扎堆的家长，只有宿管阿姨坐在值班室里看报纸。
江临刷卡进去。
宿舍里，他用了十分钟把行李归置好，便下楼去数学科学中心报备。
与此同时，一条消息正在清华校内的几个小圈子里，以惊人的速度发酵。
最先传出消息的是数学科学系的教师群。
【通知：今日下午2:30，数学中心一楼报告厅，pFR/rton v1.0闭门技术校准会，作者江临主讲。仅限加性组合、概率、信息论、形式化验证方向本校师生参加，名单制旁听，有意向的老师同学速报给系办。】
后面补了一句。
【机会难得，相关方向优先。】
群里安静了几秒。
紧接着，原本常年潜水的头像一个接一个冒了出来。
【是那个多项式弗雷曼-鲁佐猜想？】
【对，就是那个。v1.0版本，昨天凌晨刚发给核心审查者。】
【我去，江临，那个本科新生，他真做出来了？】
消息像水一样渗开。
数院的老师立刻转发给自己带的学生。
求真书院博士生群里，十点十五分，有人把通知转了进去。
【兄弟们，大新闻。下午数学中心有江临的pFR闭门会，名单制旁听，相关方向赶紧找导师报名，手慢无。】
群里本来只有几条迎新互助的消息，瞬间炸了。
【今天不是新生报到日吗？江临作为本科新生，不应该在紫荆操场排队报到吗？】
【所以才离谱啊！别人开学第一天在排队领教材，他开学第一天去给数学中心那帮博导做闭门技术校准。这世界还有没有道理可讲了？】
十点半，消息传到了交叉信息研究院。
做形式化验证的青年教师林川，本来正在开组会，和学生讨论下周的 Lean 验证任务。手机弹出消息，他扫了一眼，直接停住了话头。
“组会先暂停。”
学生们都愣住了。
“下午两点半，数学中心有一场 pFR/rton 的闭门技术校准会，江临主讲。” 林川把手机放到桌上，“所有做形式化验证、理论计算的，都去找系办报名，能进的都去听，组会顺延到明天上午。”
底下的学生面面相觑。
“老师，pFR 那个猜想？真做出来了？”
“v1.0 版本，今天刚进入审查。” 林川敲了敲桌子，“这个证明如果成立，我们手上好几个形式化项目的底层逻辑都要变。都去听，认真记，回来我们开专题讨论。”
十一点，消息已经冲出了清华。
中科院数学与系统科学研究院，陈则民研究员坐在办公室里，刚审完一篇学生的论文初稿。
手机上弹出同门群的消息，是清华的同学发的通知。
他盯着屏幕看了半分钟，拿起手机，给自己带的三个博士生打了电话。
“你们三个，下午去清华数学中心，听一场闭门报告。”
“啊，陈老师，什么报告啊，我们下午本来要算那个加性组合的数值模拟。”
“别做了，先去听报告。如果这个证明的主链路是通的，我们手里那三个课题，方向全部都得重新调整。”
电话那头安静了几秒。
“真的假的？他不是刚做出江氏砖吗，才几天啊，又搞定pFR了？”
“他用几天时间做出来的不重要，重要的是东西。” 陈则民解释说，“能进去听就认真听，记好笔记。进不去就在外面等，看看有没有会后交流的机会。这种级别的工作，能蹭到一点边角，都比你们闷头做三个月有用。”
十一点二十分，北大数院。
几个加性组合方向的博士生正在讨论室里啃三明治，一边翻最新的论文。
其中一个人刷到了朋友圈，清华的同学发的，配文是下午有硬菜，定位是清华数学科学中心。
他点进去一看，差点把三明治喷出来。
“我靠，兄弟们，江临今天下午在清华开pFR的闭门会！”
“扯吧？前阵子不还说只有个雏形吗？”
“真的，我清华同学发的，名单制旁听。”
几个人立刻围了过来。
“校外的让进吗？”
“不知道啊，我问问我导师。”
其中一个博士生立刻给导师发消息。
不到五分钟，导师回了。
【我和清华那边打了招呼，你们三个过去，报我名字，能进。赶紧的，别迟到。】
三人对视一眼，立刻抓起书包和笔记本就往外跑。
“本来以为是圈内谣言，结果导师都让我们去蹭。”
“这哪是蹭啊，这是去朝圣。”
“说真的，我到现在都有点懵。pFR啊，我们博一的时候还在讨论这个猜想有多难，结果人家直接做出来开闭门会了。”
走到校门口打车的时候，其中一人忽然想起什么，说：“哎，你们说韦老师会不会去？”
另外两人脚步一顿。
“他要是感兴趣，肯定会去吧。”
……
十二点十分，资本圈也嗅到了风声。
红图资本的科技投资群里，负责硬科技赛道的投资总监张敬，发了一句话。
【确认了，江临今天在清华数学中心开 pFR/rton闭门会，国内加性组合圈的人基本都到了，线上还有陶哲轩、Voss他们。】
群里本来在聊世界机器人大会的参展项目，瞬间拐了方向。
【张总，pFR 是什么？和低熵工坊有关系？】
【低熵工坊的创始人就是江临。之前我们以为他是个做机器人的创业者，现在看来，人家根本是先拿了数学领域的顶级成果，再下场做工程。】
【之前我们想约低熵工坊谈A轮，一直没约上，我还以为是对方故意拿乔。原来人家根本不是普通的硬科技创业公司，创始人是真的在同时做世界级的底层理论研究。】
【那之前的估值模型得改了。本来以为G-01六足机器人是核心资产，现在看来，江临本人的数学能力，才是低熵工坊最值钱的东西。】
投资人们的讨论方向瞬间发生偏移。
不再有人谈论机器人公司的商业化落地周期，所有人的焦点都转向了创始人拥有世界级底层数学能力，对一家硬科技公司到底意味着多大的估