从清晨六点半开始，五道口附近的交通干道就已经被各式各样的车辆填满。
车流缓慢地向前挪动，尾气与柏油路面蒸腾出的热浪混杂在一起。
校门，迎新点，志愿者，印着各院系名字的彩色道旗……
所有这些词汇，正在现实中拼凑成一幅喧闹而充满生机的画卷。
对绝大多数十八岁的年轻人来说，这些画面将构成他们对大学生活的最初记忆。
江临吃过早餐，收拾行李，退掉酒店房间，打了一辆网约车去清华。
不过车最终还是堵在了清华西门外的中关村北大街上。
往前望，车流排出去几百米，红色的刹车灯连成一串。
路边的人行道上全是人，拖行李箱的滚轮声、家长的叮嘱声、孩子的应答声混在一起，隔着车窗都能感受到那种热腾腾的喧闹。
“得等会儿了，每年新生报到都这样，西门能堵半小时。” 司机咂了下嘴，“要不我给你停前面路口，你走过去也就几百米。”
“可以。”
江临从车上下来，拖着行李箱站在了西门外的人行道上。
热烈欢迎2022级新同学。
校门口挂着巨大的红色横幅，风一吹，横幅猎猎作响。
门口站着穿紫色马甲的志愿者，举着清华大学迎新接待站的牌子，正在引导新生和家长走专用信道。
往里走，主干道两侧的梧桐树枝叶交叠，搭出一条天然的林荫道。
每隔几十米就有一个院系迎新点，搭着蓝色帐篷，摆着院系招牌。
经管学院、计算机系、机械工程系、建筑学院……
帐篷前挤满了人，新生递上录取通知书，志愿者笑着递过新生大礼包，家长站在旁边举着相机，不停按快门。
二校门附近人最多。
这座刻着清华园三个字的石砌牌坊前，几乎围了里三层外三层。
每一个新生都要停下来，站在牌坊正中央，让家长拍一张照。
有人拘谨地站着，有人比出剪刀手，还有的全家一起上阵，拉着行李箱也要凑进镜头里。
人声顺着梧桐道飘出去很远，夹杂着志愿者的指引声、孩子的笑声、家长带着乡音的交谈声，象一场盛大的潮汐，正慢慢漫进整个校园。
江临拖着行李箱，沿着人行道的边缘往里走。
路上有人认出了他。
先是迟疑，然后小声提醒同伴。
“是不是江临？”
“好象是。”
“他也今天报到？”
“废话，他不是去清华吗。”
有人目光追过来。
也有人举起手机，又很快放下。
越往公寓区走，迎新的气息越浓。
紫荆1号楼到13号楼是本科生常规宿舍，楼下全是搬行李的人。
家长扛着床垫和被子，孩子拖着行李箱，宿管门口排着长队领钥匙……
17号楼相比之下，简直安静得象另一个世界。
没有迎新帐篷，也没有扎堆的家长，只有宿管阿姨坐在值班室里看报纸。
江临刷卡进去。
宿舍里，他用了十分钟把行李归置好，便下楼去数学科学中心报备。
与此同时，一条消息正在清华校内的几个小圈子里，以惊人的速度发酵。
最先传出消息的是数学科学系的教师群。。仅限加性组合、概率、信息论、形式化验证方向本校师生参加，名单制旁听，有意向的老师同学速报给系办。】
后面补了一句。
【机会难得，相关方向优先。】
群里安静了几秒。
紧接着，原本常年潜水的头象一个接一个冒了出来。
【是那个多项式弗雷曼-鲁佐猜想？】
【对，就是那个。。】
【我去，江临，那个本科新生，他真做出来了？】
消息象水一样渗开。
数院的老师立刻转发给自己带的学生。
求真书院博士生群里，十点十五分，有人把通知转了进去。
【兄弟们，大新闻。下午数学中心有江临的PFR闭门会，名单制旁听，相关方向赶紧找导师报名，手慢无。】
群里本来只有几条迎新互助的消息，瞬间炸了。
【今天不是新生报到日吗？江临作为本科新生，不应该在紫荆操场排队报到吗？】
【所以才离谱啊！别人开学第一天在排队领教材，他开学第一天去给数学中心那帮博导做闭门技术校准。这世界还有没有道理可讲了？】
十点半，消息传到了交叉信息研究院。
做形式化验