这个学霸疑似巨额知识来源不明 - 第156章 世界重新校准坐標
八月二十四日,晚上十一点十七分。
紫荆公寓17號楼402室。
江临登录预印本伺服器。
先打开本地校验工具,光標在终端窗口里快速闪烁。
【pfr_marton_v1.0_public.pdf】
文件是完成公开发布封装后的pfr/marton v1.0-public。
主证明链路仍沿用受控流通包的哈希锚定版本,新增部分只是公开版的导航、c-2说明、形式化验证导引和版本索引。
哈希指纹与公开只读镜像记录完全一致。
江临看了一眼屏幕右上角的时间,数字无声地跳动了一下,变成了十一点十八分。
他握住滑鼠,把文件拖入上传窗口。
標题栏自动填入论文名。
【polynomial freiman-ruzsa in finite field models and an entropic bridge to marton’s form(有限域模型中的多项式freiman-ruzsa与通向marton形式的熵桥)】
作者栏只有一个名字。
jiang lin。
没有导师。
没有课题组。
没有联合通讯作者。
在这片由加性组合学、资讯理论和概率论交织的深水区里,他是一个独行者。
单位栏里,江临稍一思索,敲击键盘,填下两行。
yau mathematical sciences center,tsinghua university.
qiuzhen college,tsinghua university.
从今天开始,这份pfr/marton v1.0公开版將由清华数学科学中心承接討论、归档反馈、组织消化。
而江临本人,也確实已经是清华求真书院2022级本科生。
摘要框里,是他已经反覆刪改过的那段英文。
有限域模型。
polynomial freiman-ruzsa主证明闭合。
marton熵形式接桥。
退化情形索引。
非均匀密度壳层下的重复支付隔离。
他没有把它吹得更大,去声称解决了所有阿贝尔群下的情况。
也没有把它藏得更小,去掩盖它在有限域內跨越擬多项式屏障的惊人事实。
確认无误后,江临点击提交。
进度条走到尽头。
页面刷新。
预印本编號生成。
公开连结出现。
江临复製连结,打开邮箱客户端,將连结发给清华数学科学中心的归档邮箱,同时同步给韩砚山、丁剑、林照野、顾南舟,以及此前已经进入受控审阅链的几位海外学者。
邮件正文只有三行,像是一份系统执行日誌。
【pfr/marton v1.0 public version uploaded.】
【the file hash matches the controlled circulation package.】
【no further changes after release.】
发完之后,他关掉瀏览器,调出终端,保存系统日誌。
本地git最后一次提交记录停在【release-public-v1.0】。
窗外,清华校园仍在夜色里沉睡。
远处的树影在微风中轻轻摇晃,偶尔有几声夏末的虫鸣传来。
大多数新生还在为第二天的军训补觉,他们的世界里,最大的烦恼或许只是明天太阳会不会太毒,教官会不会太严。
但从这一刻开始,一份编號刚刚生成的预印本,已经化作一道无声的惊雷,劈入了整个数学共同体的公共视野。
午夜十二点二十九分。
清华数学科学中心,三楼的一间博士生办公室里,灯还亮著。
博士生李舟正对著电脑屏幕上密密麻麻的张量公式薅头髮。
他的毕业论文进展缓慢,此刻正处於一种极度焦虑和注意力涣散的边缘状態。
为了逃避眼前的公式,他习惯性地打开了预印本网站的最新提交页面,漫无目的地刷新了一下。
最近几天,江临pfr/marton手稿在小范围討论群里的流转,已经足够刺激他们这些处於学术底层攀爬者的神经。
中心里到处是窃窃私语,许多人都知道,那个传说中的正式公开版迟早会出现。
但真正看到页面刷出来,看到那个占据了列表顶端的长標题时,李舟还是愣了一下。
標题太长。
作者太短。
他下意识点开pdf连结。
网络稍微卡顿了半秒,隨后,第一页加载出来。
標题、作者、摘要,以及接下来密密麻麻、逻辑森严展开的目录。李舟的目光扫过摘要中的entropic bridge,心跳猛地漏了一拍。
他手忙脚乱地把连结复製,转进导师组的微信大群里。
消息发出后,群里的已读人数在短短十秒內从1跳到了15。
但没有人回復。
一分钟,两分钟。
空气仿佛凝固了。
平时任何重要预印本出现,群里总会有人先发几句玩笑、贴个背景介绍、提出几点初步质疑,或者至少发个先码后看的表情包活跃气氛。
这一次,完全没有。
所有的閒聊、所有的客套都被巨大的学术质量压制了。
屏幕背后的那十几个人,包括几位正教授,都在同一时间点开了pdf,陷入了那种面对庞大且未知的证明结构时,本能的屏息凝神之中。
凌晨一点四十六分。
海外学术邮件列表里,第一封转发出现。
转发人是牛津大学的汤姆·桑德斯(tom sanders),加性组合学领域的核心人物之一。
邮件的標题很短。
【jiangs pfr/marton preprint】
正文也短得令人髮指,却字字千钧:
【the public version is now available. the finite-field pfr route crosses the old quasi-polynoounting is unusually explicit; this is not a sketch.】
“不是草图(not a sketch)。”
这句话犹如一记重锤,很快被人截图发回国內的学术圈。
在数学界,sketch往往意味著一种思路、一个框架,虽然有价值,但距离真正无懈可击的证明还有十万八千里,隨时可能因为一个微小的技术漏洞而全盘崩溃。
而桑德斯用上了unusually explicit(异常明確)来形容文中的帐目计算,这是极高的评价。
凌晨两点零三分。
陶哲轩在自己的wordpress博客评论区回復了一个网友关於近期pfr传闻的相关提问。
【in the stated finite-field setting, the munity is no longer to locate an obvious missing step, but to digest the mechanism.】
这条回復被截图转发到各大论坛时,最先被眾人圈出来的是两个词。
closed。
digest。
主链路已经闭合。
接下来不是去找证明里有没有显然的缺口,而是去消化这套机制。
这句话的潜台词是:江临的这座大厦已经建成,现在轮到我们这些同行去理解它的承重墙是怎么设计的了。
凌晨两点二十七分。
蒂莫西·高尔斯(timothy gowers,菲尔兹奖得主)在个人博客里更新了一条短文。
短文標题是:【a ounts】(一台帐目闭合的机器)
高尔斯的文笔向来带有英式学者特有的生动与犀利。
他写道——
“在阅读这份手稿的前二十页时,我试图寻找传统加性组合学里的那些小把戏,但我失败了。这既不是一个一页纸技巧,也不是某个漂亮引理突然击穿整座城墙的浪漫故事,它更像一台复杂的重工业机器。令人惊讶的不是机器足够复杂,而是帐目足够清楚。每一个自由度的消耗,每一次熵的支付,都在非均匀密度壳层下被记录得明明白白,没有任何显然可得的含糊其辞。”
这句话一传回国內,水木社区数学版直接炸了。
很多人不懂pfr。
不懂marton熵形式。
更不懂有限域模型下的h(x+y)究竟是怎么通过非对称分布来控制结构爆炸的。
但他们至少知道,高尔斯不是会轻易为一台看上去很复杂的机器背书的人。
能让高尔斯用重工业机器来形容的证明,其內部逻辑的咬合力必然已经达到了某种恐怖的精度。
凌晨两点四十一分。
本·格林(ben green)转发预印本连结。
他只写了一句,却让无数正在研究该方向的博士生感到绝望又兴奋。
【the entry point to pfr in finite field models will need to be rewritten.】
(有限域模型下pfr的入口,需要被重写了。)
凌晨三点零六分。
弗雷迪·曼纳斯(freddie manners)在同一邮件线程下补充——
【the shell-account separation is not cosmetic; it is part of why the proof can be read.】
(壳层-帐目的分离並非表面功夫;正是这种架构,让整个证明具备了可读性。)
凌晨三点三十三分。
夏查尔·洛维特(shachar lovett)从理论计算机科学一侧转发连结,將这场风暴从纯数学引向了计算机科学。
【several equivalence chains around pfr and inverse theorems should be rechecked against jiangs formulation.】
这些声音,在短短几个小时內,像一张庞大而致密的网络,覆盖了全球。
每一个真正处在关键节点上的人,都从自己最熟悉的方向伸出手,摸了一下那条新出现的证明链。
然后,他们陆续给出了同一个方向的判断。
在声明范围內,主链路已经闭合。
凌晨三点五十二分。
科普博主沈砚秋转发了陶哲轩那条回復。
上一场引发全网爭议的直播,他刚刚对著几万观眾的镜头说过,自己拿到了完整手稿,也认真读过,但没有资格审。
他还顶著漫天的弹幕谩骂说,判断权不在他手里,也不在任何网友手里。
现在,判断权没有以一份红头文件或者官方声明的方式落下。
它是从加州、从剑桥、从牛津,从几个不同方向同时压下来的。
汤姆·桑德斯。
陶哲轩。
高尔斯。
本·格林。
弗雷迪·曼纳斯。
夏查尔·洛维特。
再加上国內早已参与闭门报告的韩砚山和丁剑。
它不是一份正式鑑定书。
但在数学共同体里,几个关键方向的人分別说出相近判断,本身的份量就已经足够重。
沈砚秋坐在电脑前,看著屏幕上不断跳动的海外反馈,手指在键盘上悬停了很久。
他没有再开直播去蹭这波惊天流量,也没有写长文去分析这篇论文到底有多伟大。
他只发了两句话。
【昨晚我说,判断权不在我手里。】
【现在,真正有资格的人已经开始给出答案。】
这条动態发出去不到一分钟,评论区开始疯狂刷新。
沈砚秋却没有再回復任何一条评论。
在真正的大山面前,保持静默,就是最好的註脚。
凌晨四点二十。
水木数学版首页已经被pfr/marton完完全全刷屏了。
整个版面的十几个热帖,清一色全是关於江临的討论。
最热的一帖,热度已经標红,標题是——
【江临pfr/marton公开版上线,陶、gowers、sanders等已发声】
前几楼的回覆极其短促,带著一种熬夜见证歷史的狂热。
一楼:“预印本连结在这里,不说了,我去洗把脸接著啃。”
二楼:“兄弟们,不是之前小群里流传的草稿版,正式公开版,排版漂亮得像艺术品。”
三楼:“陶的回覆看到了吗?main chain appears closed。这等於直接盖章了啊!”
四楼:“gowers那句帐目闭合太狠了,直接把很多想找茬的人的嘴给堵上了。”
五楼:“ben green说入口要重写,这意味著以后的教材和综述,这一章都要改写了。”
六楼:“所以现在不是討论对不对了?”
七楼:“楼上的,早都不是普通网友能討论对不对的时候了。没看那几个大佬的用词吗?digest(消化)。人家现在是在学习这个证明机制。”
八楼:“韩砚山他们前几天的闭门会,现在看,应该已经给过国內判断了。难怪中心那边这几天安静得可怕,原来是在憋大招。”
九楼:“江氏砖之后,他又拿了一个大成果。这速度,不是人啊。”
十楼:“不一样,江氏砖是一块砖,这次是一座桥。”
“江氏砖是一块砖,这次是一座桥。”
这句话很快被顶到了最高赞,甚至被许多人设为了签名档。
因为它足够简洁,也足够准確。
江氏砖的爽点,在於一个极端具体的构造,简单粗暴地直接砸穿了非周期平铺问题里一扇封闭多年的门。
它令人惊艷,但它是一个孤立的突击点。
而pfr/marton不同。
它的一端是小倍增与结构压缩。
一端是熵形式和自由度支付。
中间跨过的,是加性组合学、概率、资讯理论和理论计算机科学共同关注的一片深水区。
它连接了两块原本只能隔海相望的大陆,在此之后,无数的研究者可以通过这座熵形式接桥,在这两个领域之间自由往来,甚至开发出新的理论矿脉。
早晨六点。
紫荆公寓17號楼402室。
江临的手机闹钟准时响起。
没有任何拖泥带水,他按掉闹钟,直接从床上坐了起来。
窗外天色刚刚亮起,灰蓝色的晨光透过窗帘的缝隙漏进来。
在他视野的右上角,一组只有他自己能看到的倒计时仍在无声地跳动。
江临看了一眼手机邮箱提示。
未读邮件已经超过一百封。
有数学中心的自动归档確认信。
有韩砚山的简短回覆:【公开版已读,很好。】
有丁剑发来的关於文章结构在后续討论班上如何拆解的建议。
还有几十封来自全球各地、名字曾在教科书上出现过的海外学者的邮件。
江临放下手机,走进卫生间洗漱,换上军训服。
迷彩上衣带著一点晒乾后的硬挺感,嗯,很乾净。
比较难受的是那双胶鞋,仍然有点磨脚。
他在床边坐下,把昨天晚上仔细剪好的减震鞋垫重新塞进鞋底,然后確认脚后跟已经贴好防磨胶布。
然后拿起桌上的军训帽,扣在头上,推门而出。
七点十分。
求真221班在紫荆操场集合。
空气中还没有完全散去清晨的凉意,但队伍里的气氛明显比往常要躁动得多。
许多人昨晚睡前就刷到了沈砚秋的直播切片,早上醒来打开手机,又发现pfr/marton正式预印本已经上线的新闻铺天盖地。
海外几个如雷贯耳的名字陆续发声,清华校內各大群里更是转发得热火朝天。
很多人都在用眼角的余光偷偷打量著站在队伍后排的江临。
一场训练下来,教官下令解散休息。
赵承宇蹭到江临旁边坐下,迷彩领口解开两颗,额角还掛著汗,眼镜片后面压著熬夜的红血丝。
他先拧开矿泉水灌了大半瓶,才偏头开口,语气里裹著点荒诞的笑意:“你凌晨掛的那版,昨晚我本来想看摘要,后来发现我连摘要后面的入口都没摸到。”
“术业有专攻。”
江临应了一句,拧上杯盖。
“你这是我们这2字求真届的参照系重置了。”
赵承宇自嘲似的扯了扯嘴角。
“我们这周还在抽代里抠群同构,你直接把 pfr 的入口给扬了。本·格林那句入口要重写,今早被学长们转疯了。”
江临抬眼看向不远处吹哨的教官:“先集合。”
赵承宇看著对方一脸波澜不惊的样子,最后只低低嘖了一声,撑著膝盖起身。
往队列走了两步,又回头补了句,声音很轻,是同届学生才懂的感慨:“真离谱啊,同届的。”
教官走到方阵正前方,猛地吹响了哨子。
“集合!”
队伍在一瞬间迅速安静下来,所有的躁动都被压抑在了迷彩服下。
点名开始。
“赵承宇。”
“到。”
“陈启明。”
“到。”
“江临。”
“到。”
……
同一时间。
清华数学科学中心官网后台的访问量曲线,开始出现异常陡峭的爬升。
上午八点四十分,数学中心发布了今天的第一条学术动態。
【江临关於有限域模型pfr与marton熵形式接桥的预印本公开】
正文部分完全是很高级別的学术通报標准。
【江临提交的pfr/marton v1.0预印本已於今日凌晨公开。该手稿此前已在数学科学中心闭门技术报告中完成主链路说明。经相关方向多位学者独立核验,在手稿明確声明的有限域模型范围內,polynomial freiman-ruzsa主证明链路成立;marton熵形式接桥部分逻辑自洽。数学科学中心將於近期组织系列专题討论,供相关方向研究者系统消化该手稿结构。】
九点三十分。
清华大学主页同步发布新闻。
【江临在有限域模型pfr方向取得重要突破】
新闻的排版同样严谨。
第一段客观陈述科研成果。
第二段列举预印本发布情况、海外相关方向顶级学者的初步反馈,以及数学科学中心后续將组织的系统消化討论班。
然后是第三段。
【江临为清华大学求真书院2022级本科生,曾获得第九届世界华人数学家大会数学金奖,並因非周期平铺问题中的江氏砖构造受到国际关注。目前,清华大学丘成桐数学科学中心为其提供学术承接与研究支持。】
上午十点二十。
清华大学行政楼內,一场內部的临时协调会提前召开。
会议室里的气氛略显严肃,坐著的有数学中心的几位核心负责人、求真书院的主管教务老师,还有学校层面的几位行政领导。
会议的议题,不是如何统一对外的宣传口径。
也不是要不要给江临增加什么特殊安排。
这一点早在录取阶段,在江临凭藉江氏砖震撼学界时就已经討论並落实过了。
数学中心二楼那间宽敞的独立办公室,紫荆17號楼单独配置的单人公寓,二十四小时畅通无阻的门禁系统,以及直接对接教授的单独学术接口……
这些,本来就是为了一个非標准,甚至可以说是极其稀有的天才学生准备的制度缓衝区。
可现在,这个缓衝区显然不够用了。
pfr/marton预印本公开后的这几个小时內发生的一切,让在座的所有人意识到,江临需要的已经远远不是所谓的特殊学生待遇。
而是一个能够承接一个成熟,且具有巨大影响力的独立研究者的制度壳层。
数学中心的一位副主任推了推眼镜,把话说得很直接。
“办公室的硬体不是问题。”
“他已经有全中心最好的办公室之一。”
“问题是,那间办公室现在只是一个安静的房间。他一个人坐在里面,是应付不了接下来的局面的。”
“所以,我们要考虑的不是再给他添置一张办公桌或者几台高配置电脑,而是必须把那间房间升级成一个五臟俱全的研究单元。”
会议室里安静了一下。
教务老师手中的笔停顿在半空。
副主任说得很具体,每一项都切中要害。
“手稿的版本管理和后续修订。”
“庞大的国际通信归档与回復沟通。”
“接下来要开展的系列討论班的反馈整理与技术备忘。”
“也许还会涉及到与计算机系合作的定理形式化验证接口。”
“络绎不绝的国內外访问学者接待。”
“以及每天都在呈指数级增长的媒体、商业和行政邀约的过滤。”
“这些事情,如果学校没有建立专门的支撑团队,最后这些琐碎的、消耗精力的烂摊子都会回到江临本人身上,我们不能让一个能推导pfr的人去回那些商务邮件。”
求真书院那边的老师翻著面前厚厚的学籍笔记,低声提醒了一句:“但从规章制度上讲,他的学籍仍然在书院,他还是个大一新生。”
“学籍当然在书院,这是客观事实。”数学中心负责人接过了话头,语气坚定,“但在科研系统和行政管理里,我们不能再单纯只把他登记成一个本科生。大家心知肚明,他现在的学术水平,根本不適合掛在任何一个教授的导师名下,他也不可能是某个课题组里的学生成员。”
负责人环视了一圈会议室。
“他应该单独建档。”
“我的建议是:以江临个人为核心,建立一个独立的研究单元,配置专门的学术秘书和行政助理。”
这句话落下,会议室里几位校级领导都抬了抬头。
研究单元。
这不是普通本科培养方案里会出现的词,它更接近数学中心为独立pi配置的支撑结构。
这也意味著,清华大学在行政建制上,不再只是给一个天才学生提供一个安静的环境。
而是白纸黑字地承认,这个年仅十八岁的学生本身,就已经具备了成为一个前沿研究组织核心的资格与当量。
片刻的沉默后,宣传部的一位负责人提醒道:“如果这么破格,那后续的宣传口径呢,外界可能会有过度解读。”
“我们就是按照成果,提供我们拥有的学术承接环境。”
数学中心负责人摇了摇头。
“这不是破格,应该叫匹配。”
添加书签
搜索的提交是按输入法界面上的确定/提交/前进键的