学霸的模拟器系统 第765节

　　结果和林允宁的完全一致。

　　他不死心地试了另一条路径，换用一组初始参数重新推导，试图从中找出隐含假设或循环依赖的破绽。

　　然而推到第三行就彻底堵死。

　　林允宁选的那个插值基底如同铁壁，从根源上封杀了他能想到的所有迂回方案。

　　卡尔森把草稿纸翻了个面，握着笔枯坐了半分钟，无奈地将论文翻到了第十四页。

　　Sobolev嵌入条件——他在第四十一页挑出的那根刺。

　　修正度量在特定退化纤维上的确依赖一个未经验证的嵌入条件，这处破绽他挑得非常准。

　　但林允宁根本没按套路接招。

　　对方压根没去证明该条件成立，反手便补了个充分条件，轻巧地绕过陷阱。

　　卡尔森死死盯着那段推导，后背不知不觉贴紧了椅背。

　　这个充分条件的适用范围，竟比他设下的陷阱还要宽出一圈；

　　这不亚于把他的坑填平后，又顺手圈走了一大块地。

　　他放下笔，摘掉眼镜擦了擦镜片，重新戴上。

　　六十三页里他最得意的两记杀招，就这样一个被正面震碎，另一个被侧面架空。

　　对方没有任何含糊其辞，而是精确到公式编号的逐条肢解。

　　卡尔森强迫自己继续往下读。

　　第十七到第十九页的内容，让他下意识地把咖啡杯推远了半尺。

　　在这三页里，林允宁搁置了所有技术细节，转而处理起那个致命的标签。

　　“极具原创性的猜想体系“。

　　这是卡尔森在结论段里定下的核心基调。

　　一旦这个标签进入引用链被同行反复粘贴，林允宁的理论就得顶着“猜想”的帽子走上好些年。

　　当初写这六十三页时，就属这段定性花的心血最多。

　　对此，林允宁的反驳仅仅抛出了一条论据：拓扑上界构成了可证伪的硬性约束。

　　这意味着未来任何格点QCD的计算结果一旦违反该上界，整个框架就会当场崩塌。

　　在学术共同体的标准里，一个敢于给出明确预测边界，并且随时准备被实验推翻的理论框架，绝不能被贬为“猜想”。

　　读到这里，卡尔森按在鼠标上的手僵住了。

　　“可证伪性”这四个字，等于连根拔起了他精心筹谋的标签战术。

　　这已经不再是单纯的学术观点之争，而是事实层面的降维打击。

　　一旦这条反驳被纳入引用链，后续谁再想扣“猜想体系”的帽子，就必须先花大篇幅去跨越这三页的论据高墙。

　　偏偏卡尔森现在毫无头绪。

　　咖啡彻底凉透了。他端起来抿了一口，滞涩的苦味在舌根慢慢漾开。

　　卡尔森切回arXiv页面，找到自己在评论区留下的关于Sobolev嵌入的技术质疑。

　　原文写着“该条件在当前框架下不可验证”。

　　他静静盯了屏幕十几秒，终于点开编辑界面，将措辞修改为“该条件的可验证性有待后续工作进一步澄清”。

　　保存，关掉页面。

　　虽然口头上没有认输，但原先那股居高临下的底气，确确实实泄了大半。

　　他顺手点开了预印本的附件。

　　在之前那份详尽的技术审查里，他连正文的每步推导都拿放大镜照过，唯独略过了附件区那堆枯燥的代数几何数据。

　　如今正文战线全面受挫，附件便成了最后一片未知的角落。

　　将附件数值拷进Magma的命令行终端后，他敲下了曲线拟合的标准指令。

　　运算不到两秒，屏幕上便跃出一条完美的亏格g=3超椭圆曲线。

　　其有理点坐标分布与正文引用的Mordell-Weil群结构严丝合缝。

　　他又调出几个常用的算术不变量进行交叉校验，结果依然完美自洽。

　　卡尔森默默最小化了窗口。

　　这只是一组配合正文证明的常规计算数据。

　　没什么实际的物理意义，但也抠不出半点破绽。

　　林允宁往附件里塞这堆坐标，估计单纯是为了给审稿人提供一个可独立验证的数值锚点。

　　它们什么都证明不了，除了炫耀作者在超椭圆曲线上那手极为漂亮的计算功夫。

　　关掉终端，切回正文。

　　SU(3)格点QCD的数值缺口依然存在，费弗曼教授信里点出的另外两条技术引理也还悬而未决。

　　这二十三页的反击确实堵死了几条要道，但还没能完全封盘。

　　战场虽然收窄，战火仍在继续。

　　……

　　汉考克大厦九十二层走廊的尽头拐角有一台公共咖啡机，豆仓里永远装着同一款中深烘焙咖啡豆。

　　林允宁端着纸杯往回走时，程新竹正巧从电梯间迎面走来，指间夹着一枚蓝色的加密U盘。

　　“正好找你。”她扬了扬手里的U盘，“AD-02的活儿结了。”

　　林允宁停下脚步。

　　“孟阿姨和AD-02队列里所有的关键高相干窗口，加上前后各两秒的总功率衰减率时间序列，已经全部清洗提取完毕，打包锁进加密分区了。”

　　程新竹把U盘在指尖转了半圈，“你那个修正度量需要多高精度的输入？我按最高规格给你留了底。”

　　“格林伯格教授那边怎么说？”

　　“同步代谢采集方案还压在他手里。伦理审批是排上了，但他那套代谢安全边界卡得死紧，过审前谁也别想碰活人的参数。”

　　程新竹无所谓地耸耸肩，“总之弹药我给你备齐了，至于什么时候开枪，你得等他卸了保险再说。”

　　林允宁接过U盘，揣进裤兜。

　　程新竹没急着走，上下打量了他一眼：“你这脸色，看着比答辩那天还要差。”

　　“在等一个东西。”

　　“等什么？”

　　“等到了再说。”

　　程新竹识趣地没再追问，抬手拍了拍他的胳膊便转身离开。

　　走廊尽头传来电梯门开合的轻响，随后重新归于安静。

　　林允宁回到书房，将U盘妥帖地锁进抽屉。

　　杯里的咖啡还热着。他仰头喝了一口，在书桌前坐定。

　　屏幕上亮着的，是他从昨晚熬夜搭设的SU(3)预处理框架。

　　桌下机柜里并排躺着几台工作站级别的机器，加起来的算力连BIS的合规模块阈值都摸不到。

　　指望它们跑格点QCD无异于痴人说梦，但用来跑个预处理却绰绰有余。

　　无论是初步划定参数边界，还是估算有限体积修正系数的区间，亦或是建立格点规模与计算精度之间的权衡矩阵——

　　这些前期工作本身并不吃P级算力，却能在拿到SU(2)数值结果的瞬间，把参数搜索空间精准砍掉大半，彻底省去从零盲扫的垃圾时间。

　　他熟练地调出芝大Midway2集群上公开的SU(2)旧基准数据作为参照，开始逐项调校预处理框架内的约束条件。

　　工作站的风扇低低地嗡着。

　　不知不觉间，茶几上那堆横七竖八的红牛罐里，又添了新的一员。

　　……

　　七月十六日，芝加哥时间清晨六点刚过。

　　林允宁是被工作站粗重的风扇声吵醒的。

　　他歪在书桌旁的硬靠背椅上睡了一宿，右手还搭在键盘边缘，屏幕上SU(3)预处理框架的参数矩阵亮了一整夜。

　　搭在后颈的冷毛巾早干成了硬壳，肩膀酸痛得几乎抬不起来。

　　他用力揉了把脸，瞥了眼屏幕右下角。

　　距离大凉山节点开跑，已经过去大约三十四个小时。

　　手机屏幕此时提示有一条未读消息。

　　走的是加密渠道，发送时间显示为凌晨四点十七分——也就是北京时间下午五点多。

　　发件方是大凉山节点的常规安全通道。

　　此前赵振华团队回传Majorana的2.0T不劈裂结果和翻译字典校准进度，用的全是这条线。