露台和一片开阔地，老板说今晚云不算厚，应该能看到。不住宿，看完就回，司机在那边等。】
已经回到房间的江临看了眼电脑后台的校验进度。
还可以，在计划之内。
他指尖在屏幕上敲了两下，回复。
【几点出发？】
消息发出去不到两秒，许志远的回复就跳了出来，快得像一直守在手机跟前。
【八点，你在哪里，我们过去接你。】
生怕他反悔似的，许志远紧接着又补了个定位。
江临看了眼时间，现在七点一刻。
于是回复。
【那就麻烦你们了。】
微信那头的许志远盯着屏幕，差点叫出声。
他本来都做好被拒绝的准备了。
江临那种人，一看就是时间按分钟算的，高铁上都在啃证明，怎么可能大晚上跑两个小时去郊区看一场不一定能看到的流星雨尾巴。
他发消息的时候心里都在打鼓，连被拒绝了怎么圆场都想好了。
结果江临答应了。
许志远坐在酒店大堂的沙发上，手指飞快地打字，打了又删删了又打，最后连续蹦出来三条。
【我靠。】
【不是。】
【收到！】
发完他一抬头，看见林一舟和顾明澈都坐在旁边的沙发上看他，顿时有点不好意思，挠了挠头：“他答应了。”
林一舟抬了抬眉毛，显然也有点意外：“答应了？”
“嗯。” 许志远点头，“八点过去接他。”
顾明澈手里的书页翻了一页，没说话，但眼神也动了一下。
他们三个下午分开后，本来许志远只约了林一舟，后来想着反正车够大，就顺手叫了顾明澈。
顾明澈本来不想来，许志远磨了半天，说就当出去透气，总比在酒店刷题强，他才勉强同意。
结果现在连江临都来了。
许志远想想都觉得魔幻。
八点十分。
一辆黑色七座商务车停在了江临住的酒店门口。
江临下楼的时候，就看见许志远趴在第二排的车窗上朝他挥手，脸上的笑容藏都藏不住。
他拉开车门坐进去，一股冷气扑面而来，驱散了夜里的闷热。
车里只有他们四个，没有家长。
“我妈帮我们订的车和民宿露台，她自己懒得跑，在酒店休息。” 许志远解释道，压低的声音有点得意，“她本来还想跟着，后来听说我们四个都是清华新生，尤其是听说你也去，直接就说不用她盯了，说安全得很。”
林一舟坐在第三排，膝盖上放着平板，闻言抬头补了句：“准确说，她是觉得有江临在，你们俩就不会乱跑惹事。”
许志远嘿嘿笑了一下，没有否认。
他把一袋零食从脚边的塑料袋里掏出来，放在座位中间的扶手上：薯片、巧克力、话梅、两瓶矿泉水、一罐无糖可乐。
“路上吃。两个多小时呢。”
江临坐下，系好安全带。
车辆驶出酒店，汇入夜色里的车流。
北京城区的夜太亮了。
路灯连成光带，商场的霓虹灯五彩斑斓，写字楼的灯光整栋整栋地亮着，连广告牌都亮得晃眼。
所有的光混在一起，把夜空洗成了一种浑浊的灰黑色，抬头看天，只能稀稀拉拉看见几颗最亮的星，像撒在灰布上的几粒碎钻。
许志远趴在车窗上往外看，叹了口气：“城里是真看不到，这天跟蒙了层纱似的。”
“到不老屯估计两个多小时。” 林一舟低头划着平板上的地图，“过了密云城区，光污染等级就降下来了。那边有观测站，管控得严，周边不让搞亮化工程。”
顾明澈靠在窗边，忽然问：“今晚月相怎么样，月亮太亮的话，也看不清暗流星。”
“还行，但不算好。” 许志远早就查过了，“前两天刚过满月，今晚还是亏凸月，月光会洗掉大部分暗流星。群里说别指望满天乱飞，能蹲到几颗亮的就算赚了。”
说到这里，他转头看向江临：“江临，你以前看过流星雨吗？”
江临看着窗外飞速倒退的路灯，声音很轻：“看过。”
他说的是废土。
但这句话他没展开。
车里短暂地静了一下。
许志远没察觉到那一瞬间的异样，还在兴致勃勃地讲：“我小时候一直以为流星雨就跟动画片里演的一样，哗啦啦一大片往下掉，跟下雨似的。后来才知道根本不是，真看流星雨就是傻等，等半天，突然一道光闪过去，你刚想叫人看，它就没了，全靠运气。”
“不可预测性，本身就是它的美感之一。” 顾明澈声音平淡。
许志远瞥他一眼：“你这话一听就求真书院的，看个流星都能讲出哲学来。”
顾明澈没理他的调侃，目光落在窗外。
车辆一路向东北方向行驶。
三环转四环，四环上高速，城区的灯光渐渐被甩在了身后。
道路两侧的建筑越来越矮，从密集的楼房变成零散的村落，再后来就是成片的田野和树影。
车里的气氛也慢慢松弛下来。
几个小时前，他们还在高铁的隔间里，把江临当成了需要仰望的高手。
现在，他们挤在同一辆车里，奔着同一场不确定能不能看见的流星雨而去，像所有普通的十八岁少年一样。
这种落差感很奇妙。
许志远刷着手机，本来想看看观星群里有没有最新的天气消息，结果一条新闻推送弹了出来，标题加粗，格外扎眼。
他随手点进去，只看了两行，眉头就皱了起来。
“又来。” 他低声骂了一句。
“怎么了？” 林一舟抬头。
许志远把手机递过去，屏幕上是刚更新的时政解读：“《芯片与科学法案》，8 月 9 号刚签的那个。又在分析后续影响，说先进制程、设备、EdA 软件、人才流动，限制只会越来越紧。”
林一舟接过手机，指尖划着屏幕，快速扫完了整篇报道。
他脸色也冷了下来，把手机递回去：“补贴是给他们自己制造业的糖衣，限制条款才是对准我们的炮弹，双管齐下。”
“说白了不就是卡脖子吗？” 许志远越说越气，声音都提高了几分，“嘴上喊着自由市场、公平竞争，转头就卡设备、卡软件、卡制造。我们这些学生天天写代码、搞算法，最后程序还不是要跑在别人的硬件上？人家一掐脖子，整个上游都动弹不得。”
司机师傅从后视镜里看了他们一眼，没插话。
车里的气氛瞬间沉了下来。
刚才还轻松的观星兴致，像被一盆冷水浇了下去。
他们都还只是刚高中毕业的学生，还没正式踏入大学校门，更没真正进入产业界。
但他们不是什么都不懂的孩子。
林一舟是信息学竞赛出身，一路保送姚班，对编译器、硬件生态、开源工具链的依赖感比谁都敏锐。
许志远考进信息学院，从小关注科技新闻，清楚芯片是整个数字世界的底座。
顾明澈学纯数，也知道现代数学的大规模验证、数值计算，早已离不开专业软件和算力支持。
“cUdA 生态、EdA 工具链、先进制程工艺、Ip 核授权、编译器、驱动程序、基础科学计算库。” 林一舟的声音很低，“每一层都是生态，每一层都不是单点问题，不是我们做出某一样东西就能破局的。”
“所以才烦啊。” 许志远靠回椅背上，望着车顶，“高中的时候觉得，考上清华就很厉害了，好像什么问题都能解决。现在还没入学呢，就看见前面全是墙，堵得人心里发闷。”
顾明澈看向窗外漆黑的夜色，声音平静得像在陈述一个定理：“墙一直都在，只是以前我们离得太远，看不见。”
这句话说完，车里彻底安静了。
就在这时，江临的手机震了一下。
是邮件提醒。发件人一栏写着：周志华。
车里光线很暗，手机屏幕的光映在江临脸上。
他点开邮件，目光快速扫过正文。
邮件不长，标题是《一个未来可能值得讨论的接口问题》。
【江临同学：
你pFR/rton v0.9公开说明里关于证明压缩、依赖图和边界可见性的几段表述，我看过了。
我注意到其中有几个表述，在机器学习理论领域，也长期以不同形式出现：压缩、结构可见性、泛化边界、依赖图、可验证表示。
我并不认为这些概念可以被轻易打通。事实上，越相似的词，越容易制造误解，类比式的跨界往往是学术研究的陷阱。
但如果未来你有时间，我希望可以和你讨论一个更窄的问题：证明结构、压缩理论与机器学习泛化之间，是否存在某种可形式化的共同接口？
这不是合作邀请，也不是项目邀约。只是一个我想了很久的问题，恰好你在做的事，似乎摸到了一点边缘。
祝北京一切顺利。
周志华】
江临把邮件读完，手指停在屏幕上，半天没动。
周志华教授的眼光很准。
公开出来的第38号节点，只是整个pFR/rton证明体系里很边缘的一部分，只涉及了一点点证明结构的压缩逻辑。
而低熵工坊对外公开的技术材料里，关于状态机、日志回放、失败样本召回的内容更是少之又少，几乎只是点到为止。
可周志华还是从这些
已经回到房间的江临看了眼电脑后台的校验进度。
还可以，在计划之内。
他指尖在屏幕上敲了两下，回复。
【几点出发？】
消息发出去不到两秒，许志远的回复就跳了出来，快得像一直守在手机跟前。
【八点，你在哪里，我们过去接你。】
生怕他反悔似的，许志远紧接着又补了个定位。
江临看了眼时间，现在七点一刻。
于是回复。
【那就麻烦你们了。】
微信那头的许志远盯着屏幕，差点叫出声。
他本来都做好被拒绝的准备了。
江临那种人，一看就是时间按分钟算的，高铁上都在啃证明，怎么可能大晚上跑两个小时去郊区看一场不一定能看到的流星雨尾巴。
他发消息的时候心里都在打鼓，连被拒绝了怎么圆场都想好了。
结果江临答应了。
许志远坐在酒店大堂的沙发上，手指飞快地打字，打了又删删了又打，最后连续蹦出来三条。
【我靠。】
【不是。】
【收到！】
发完他一抬头，看见林一舟和顾明澈都坐在旁边的沙发上看他，顿时有点不好意思，挠了挠头：“他答应了。”
林一舟抬了抬眉毛，显然也有点意外：“答应了？”
“嗯。” 许志远点头，“八点过去接他。”
顾明澈手里的书页翻了一页，没说话，但眼神也动了一下。
他们三个下午分开后，本来许志远只约了林一舟，后来想着反正车够大，就顺手叫了顾明澈。
顾明澈本来不想来，许志远磨了半天，说就当出去透气，总比在酒店刷题强，他才勉强同意。
结果现在连江临都来了。
许志远想想都觉得魔幻。
八点十分。
一辆黑色七座商务车停在了江临住的酒店门口。
江临下楼的时候，就看见许志远趴在第二排的车窗上朝他挥手，脸上的笑容藏都藏不住。
他拉开车门坐进去，一股冷气扑面而来，驱散了夜里的闷热。
车里只有他们四个，没有家长。
“我妈帮我们订的车和民宿露台，她自己懒得跑，在酒店休息。” 许志远解释道，压低的声音有点得意，“她本来还想跟着，后来听说我们四个都是清华新生，尤其是听说你也去，直接就说不用她盯了，说安全得很。”
林一舟坐在第三排，膝盖上放着平板，闻言抬头补了句：“准确说，她是觉得有江临在，你们俩就不会乱跑惹事。”
许志远嘿嘿笑了一下，没有否认。
他把一袋零食从脚边的塑料袋里掏出来，放在座位中间的扶手上：薯片、巧克力、话梅、两瓶矿泉水、一罐无糖可乐。
“路上吃。两个多小时呢。”
江临坐下，系好安全带。
车辆驶出酒店，汇入夜色里的车流。
北京城区的夜太亮了。
路灯连成光带，商场的霓虹灯五彩斑斓，写字楼的灯光整栋整栋地亮着，连广告牌都亮得晃眼。
所有的光混在一起，把夜空洗成了一种浑浊的灰黑色，抬头看天，只能稀稀拉拉看见几颗最亮的星，像撒在灰布上的几粒碎钻。
许志远趴在车窗上往外看，叹了口气：“城里是真看不到，这天跟蒙了层纱似的。”
“到不老屯估计两个多小时。” 林一舟低头划着平板上的地图，“过了密云城区，光污染等级就降下来了。那边有观测站，管控得严，周边不让搞亮化工程。”
顾明澈靠在窗边，忽然问：“今晚月相怎么样，月亮太亮的话，也看不清暗流星。”
“还行，但不算好。” 许志远早就查过了，“前两天刚过满月，今晚还是亏凸月，月光会洗掉大部分暗流星。群里说别指望满天乱飞，能蹲到几颗亮的就算赚了。”
说到这里，他转头看向江临：“江临，你以前看过流星雨吗？”
江临看着窗外飞速倒退的路灯，声音很轻：“看过。”
他说的是废土。
但这句话他没展开。
车里短暂地静了一下。
许志远没察觉到那一瞬间的异样，还在兴致勃勃地讲：“我小时候一直以为流星雨就跟动画片里演的一样，哗啦啦一大片往下掉，跟下雨似的。后来才知道根本不是，真看流星雨就是傻等，等半天，突然一道光闪过去，你刚想叫人看，它就没了，全靠运气。”
“不可预测性，本身就是它的美感之一。” 顾明澈声音平淡。
许志远瞥他一眼：“你这话一听就求真书院的，看个流星都能讲出哲学来。”
顾明澈没理他的调侃，目光落在窗外。
车辆一路向东北方向行驶。
三环转四环，四环上高速，城区的灯光渐渐被甩在了身后。
道路两侧的建筑越来越矮，从密集的楼房变成零散的村落，再后来就是成片的田野和树影。
车里的气氛也慢慢松弛下来。
几个小时前，他们还在高铁的隔间里，把江临当成了需要仰望的高手。
现在，他们挤在同一辆车里，奔着同一场不确定能不能看见的流星雨而去，像所有普通的十八岁少年一样。
这种落差感很奇妙。
许志远刷着手机，本来想看看观星群里有没有最新的天气消息，结果一条新闻推送弹了出来，标题加粗，格外扎眼。
他随手点进去，只看了两行，眉头就皱了起来。
“又来。” 他低声骂了一句。
“怎么了？” 林一舟抬头。
许志远把手机递过去，屏幕上是刚更新的时政解读：“《芯片与科学法案》，8 月 9 号刚签的那个。又在分析后续影响，说先进制程、设备、EdA 软件、人才流动，限制只会越来越紧。”
林一舟接过手机，指尖划着屏幕，快速扫完了整篇报道。
他脸色也冷了下来，把手机递回去：“补贴是给他们自己制造业的糖衣，限制条款才是对准我们的炮弹，双管齐下。”
“说白了不就是卡脖子吗？” 许志远越说越气，声音都提高了几分，“嘴上喊着自由市场、公平竞争，转头就卡设备、卡软件、卡制造。我们这些学生天天写代码、搞算法，最后程序还不是要跑在别人的硬件上？人家一掐脖子，整个上游都动弹不得。”
司机师傅从后视镜里看了他们一眼，没插话。
车里的气氛瞬间沉了下来。
刚才还轻松的观星兴致，像被一盆冷水浇了下去。
他们都还只是刚高中毕业的学生，还没正式踏入大学校门，更没真正进入产业界。
但他们不是什么都不懂的孩子。
林一舟是信息学竞赛出身，一路保送姚班，对编译器、硬件生态、开源工具链的依赖感比谁都敏锐。
许志远考进信息学院，从小关注科技新闻，清楚芯片是整个数字世界的底座。
顾明澈学纯数，也知道现代数学的大规模验证、数值计算，早已离不开专业软件和算力支持。
“cUdA 生态、EdA 工具链、先进制程工艺、Ip 核授权、编译器、驱动程序、基础科学计算库。” 林一舟的声音很低，“每一层都是生态，每一层都不是单点问题，不是我们做出某一样东西就能破局的。”
“所以才烦啊。” 许志远靠回椅背上，望着车顶，“高中的时候觉得，考上清华就很厉害了，好像什么问题都能解决。现在还没入学呢，就看见前面全是墙，堵得人心里发闷。”
顾明澈看向窗外漆黑的夜色，声音平静得像在陈述一个定理：“墙一直都在，只是以前我们离得太远，看不见。”
这句话说完，车里彻底安静了。
就在这时，江临的手机震了一下。
是邮件提醒。发件人一栏写着：周志华。
车里光线很暗，手机屏幕的光映在江临脸上。
他点开邮件，目光快速扫过正文。
邮件不长，标题是《一个未来可能值得讨论的接口问题》。
【江临同学：
你pFR/rton v0.9公开说明里关于证明压缩、依赖图和边界可见性的几段表述，我看过了。
我注意到其中有几个表述，在机器学习理论领域，也长期以不同形式出现：压缩、结构可见性、泛化边界、依赖图、可验证表示。
我并不认为这些概念可以被轻易打通。事实上，越相似的词，越容易制造误解，类比式的跨界往往是学术研究的陷阱。
但如果未来你有时间，我希望可以和你讨论一个更窄的问题：证明结构、压缩理论与机器学习泛化之间，是否存在某种可形式化的共同接口？
这不是合作邀请，也不是项目邀约。只是一个我想了很久的问题，恰好你在做的事，似乎摸到了一点边缘。
祝北京一切顺利。
周志华】
江临把邮件读完，手指停在屏幕上，半天没动。
周志华教授的眼光很准。
公开出来的第38号节点，只是整个pFR/rton证明体系里很边缘的一部分，只涉及了一点点证明结构的压缩逻辑。
而低熵工坊对外公开的技术材料里，关于状态机、日志回放、失败样本召回的内容更是少之又少，几乎只是点到为止。
可周志华还是从这些