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

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

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

江临刷卡进去。

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

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

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

【通知：今日下午2:30，数学中心一楼报告厅，pFR/marton v1.

0闭门技术校准会，作者江临主讲。

仅限加性组合、概率、信息论、形式化验证方向本校师生参加，名单制旁听，有意向的老师同学速报给系办。】

后面补了一句。

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

群里安静了几秒。

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

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

【对，就是那个。

v1.

0版本，昨天凌晨刚发给核心审查者。】

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

消息像水一样渗开。

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

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

【兄弟们，大新闻。

下午数学中心有江临的pFR闭门会，名单制旁听，相关方向赶紧找导师报名，手慢无。】

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

【今天不是新生报到日吗？

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

【所以才离谱啊！

别人开学第一天在排队领教材，他开学第一天去给数学中心那帮博导做闭门技术校准。

这世界还有没有道理可讲了？】

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

做形式化验证的青年教师林川，本来正在开组会，和学生讨论下周的 Lean 验证任务。

手机弹出消息，他扫了一眼，直接停住了话头。

“组会先暂停。”

学生们都愣住了。

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