赞数半小时冲到一千二。
【人在数学中心走廊,刚挤完旁听队伍。
本来是十八人规模的内核审查校准会,只邀请加性组合、概率、信息论和形式化验证方向的少数内核学者。
结果消息传得太快,数院老师、求真书院博硕、叉院做形式化和理论计算的人都找过来了,最后丘先生拍板,相关方向本校师生可以名单制旁听,校外报备过的同行也可以进。
补充个冷知识:今天是清华 2022 级本科新生正式报到日。
别人报到:领校园卡、领被褥、认室友、拍合照。。
这个开学名场面,估计也是前无古人后无来者。】
第二条是某985数学系助理教授的认证账号,语气克制,但字里行间全是惊叹。。今天下午立刻开内核节点校准会,推进速度也太快了。
在线参会的有陶哲轩、ToSanders、Heinrich Voss,线下丘先生坐镇,国内加性组合和相关方向的半壁江山基本都在现场。
这个规格,已经不是青年学者学术报告的级别,接近领域级工作的中期审查了。】
评论区早就吵翻了。
有人问——
【PFR到底是什么,为什么整个数学圈都这么激动?】
下面立刻有人补了通俗解释。
【粗暴一点讲:PFR问的是,如果一个集合在加法意义下没有膨胀得很厉害,那它是不是其实藏着低维骨架?而且这个骨架能不能用多项式代价抓出来,而不是付出指数爆炸的代价。
Marton熵形式则是另一套语言:不用集合大小和加法结构讲压缩,而是用熵、自由度、条件化和概率空间来记帐。
真正的地狱级难度在于,这两套语言不是简单翻译。而是每一次压缩产生的损失、每一次条件化改变的概率空间,最后都要有人付帐。帐目不闭合,证明就会炸。】
再往下翻,画风逐渐破防。
【竞赛党过来集合。以前看着他高考749,以为是常规天才
【不懂就问,PFR猜想是什么级别?底下高赞回复:大概相当于大一新生报到第一天,去航天五院给院士们讲自己设计的新火箭发动机,但还要求院士们当场挑毛病。】
【有没有人知道现场还能不能进,现在打车过去还来得及吗?】
【别想了,名单制,连走廊的空气都是定量配给的。】
讨论从数学分区慢慢扩散,高考、竞赛、科技几个分区都开始有人转。
高考状元、ICCM 金奖、十八岁、本科新生、世界级猜想……
这些标签叠在一起,天然就有冲击力。
所有人都在好奇,这个刚满十八岁的年轻人,到底拿出了一份怎样的东西,能让整个加性组合领域如此兴师动众。
下午一点四十分,数学科学中心一楼报告厅外。
名单核验正式开始。
玻璃门旁摆了一张长桌,两个数院的硕士生志愿者坐在后面,手里攥着打印名单。
名单本来只有薄薄两页,是最初的内核审查人员,后来不断有人找系办、找导师申请,名字一个个手写补上去,纸页边缘被翻得卷了边,浸了点手心的汗。
“同学,麻烦报一下姓名和单位。”
“王柏松,数院博二。”
“好的,在这儿签个字,领一份旁听须知。注意,本场报告禁止录音录像,禁止外传内容,纸质材料散会后要收回。”
“明白。”
队伍从报告厅门口一直排到了饮水机旁,少说有七八十人。
队伍里几乎没人闲聊。
有人低着头,手里攥着薄薄的脱敏摘要,眉头微皱,一行一行仔细看。
有人在笔记本的第一页写下几个关键词,都是准备追问的方向。
还有人干脆靠墙站着,闭着眼睛,在脑子里过PFR猜想的基础定义和经典结论。
就是没人是来凑热闹的。
能出现在这里的,要么是相关方向的研究者,要么是拼了命想挤进前沿的学生。每个人都清楚,这场报告的分量有多重。
会务组临时加印了五十份旁听须知,不到十分钟就发完了。
后排有人从实验室搬来了高脚凳,还有人干脆坐在台阶上,把笔记本摊在膝盖上,提前翻到空白页。
没人抱怨位置不好,也没人计较有没有桌子。
能进来,就已经赚了。
梁辰站在队伍的最后面,手心有点出汗。
他是求真书院今年的研二生,中午听师兄说有这场报告,抱着试一试的心态给导师发了消息,没想到导师立刻就帮他报了名,让他赶紧过