【p-094:最后一组标记素数的分解条件无法由公开附件复现】
公开塔构造附件要求最后一组局部分解条件由三份彼此独立的证书共同覆盖,公开索引却只给出了其中两份互不相同的对象。
第三行链接打开以后,页面返回的仍是第二份。如果第三个局部位置缺少证书,外部读者便无法沿公开材料独立复现这组条件,后面的塔引理也不能在公开核验中继续调用。
附注:请作者确认第三份证书是否真实存在,并提供其发布前生成记录。
……
电脑右下方的公开质疑目录中,一条新提示弹了出来。
最新的提交者来自普林斯顿,质疑正文很短,只引用了定理页、参数页和两份局部分解证书。
看到这个,刚准备拿垃圾下楼的江临把垃圾袋放回门边,沿着对方给出的路径重新走了一遍。
第一份证书响应正常,第二份证书可以打开。
当点击标作第三份的链接时,页面确实瞬间绕回了第二份。
他调出底层哈希值比对,两者的ShA-256字符串一模一样。
上午那场报告会上,授课老师刚对六百多人说过,谁能让公开材料无法独立复现,谁就可以把核验入口的红牌挂回去。
现在,牌子来了。
江临微微一笑,点开公开状态页,把核验入口上方的黄色标识改成红色。
【公开状态页实时更新】
【公开复现状态:临时阻断】
【主定理状态:受控核验已完成/外部审查继续】
【阻断原因:p-094所要求的第三份局部分解证书无法通过公开索引独立取得。】
【当前尚待确认:底层对象缺失,或公开版本映射错误。】
修改提交以后,个人主页、预印本附件页和攻击目录同时出现了显眼的红色横条。
刚刚越过十万的下载数还在飞速上涨,但页面最醒目的内容已经从固定的正常变成了临时阻断。
授课老师的电话不到一分钟便打了进来。
“你已经把公开复现挂红了?”
“读者沿现有索引走不到第三个对象,复现链条断了。”
“原始目录里查过吗?”
“正在查。但状态页写的是别人现在能够验证什么,不是我们曾经做过什么。”
电话那头传来纸页被快速翻动的声音,老师当机立断:“我联系两组塔方向的人,你把发布包冻结了,任何证书都别往现有版本里补,避免破坏现场。”
“已经冻结。”
“学校官网那份说明怎么办?”
“增加当前状态,保留原文,不做掩盖。”
电话挂断后,原审查组的工作群重新亮了起来。上午还站在大礼堂里接受掌声的人,此刻正一个个迅速回到电脑前。
梁知夏的消息紧跟着弹了出来,字里行间透着公关的急迫。
【十七家媒体在问是不是撤稿。】
江临把红色状态页的完整截图发给她。
【统一转发,不解释成撤稿,也不解释成已经排除。】
梁知夏过了半分钟才回复。
【你上午刚上完新闻,下午亲手给自己挂了一条红幅,媒体很难保持你要求的精确。】
【所以给他们原文。】
【明白,我负责让致命漏洞四个字后面至少带上问号。】
梁知夏随后转来三张已经开始扩散的新闻截图。
舆论的发酵速度远超想象。
第一篇自媒体文章在一点三十一分出现,声称江临的反例证明公开数小时后已被海外学者击穿,配图却仍是上午大礼堂里那张五百美元问题清单。
第二篇把q-001和p-094拼到一起,标题写成专家刚核过的地方又出问题。
第三篇更省事,直接宣布七十六年猜想平安无事。
反倒是公开质疑者本人在评论区保持了学者的严谨,提醒道:“当前只能确认附件无法复现,尚未证明第三个局部对象真的缺失。”
但这句话的传播速度,远远追不上那几张刺眼的红色截图。
一点四十六分,402室的门被人从外面敲了三下。
顾明澈抱着电脑大步走进来,书包侧袋里还露着半截卷起来的打印纸。
“我从食堂走到十七号楼,一共收到十二个人的消息,其中八个问外部核验是不是停了,四个问我工伤证明要不要跟着挂红。”
江临把屏幕上的p-094界面转给他看。
“第三行链接重复。”
顾明澈把电脑放到书桌另一侧,坐的位置还是昨晚那一处。
“这一栏归我。”
“分解条件归塔核验组。”
“他们负责判断第三把锁能不能锁门,我负责查钥匙是不是挂错了号码。”
顾明澈十指翻飞,打开发布包的哈希清单,把最后一组标记素数对应的对象筛了出来。
清单里一共有三个不同哈希,生成时间都在十一月四日凌晨,早于十一月六日的公开提交。
然而,公开目录的第二行和第三行却引用了同一个哈希。
第三个对象静静地留在清单里,正文、目录和网页都没有任何入口指向它。
顾明澈把两套编号并排拖到屏幕上。
原始计算文件沿用零、一、二编号,审查稿为了方便阅读改成一、二、三,第三行的显示名称已经改完,链接字段还复制着上一行的地址。
“第三份文件在。”
顾明澈把那个孤零零的哈希圈了出来。
“至于它是不是你们要找的第三把锁,我不替数学家签字。”
江临从冻结目录里调出对应对象。
他非常谨慎,只读取内容和生成记录,保持发布包原样。
证书声明的确对应第三个局部位置,参数种子也与前两份属于同一组,完整计算日志已经被十一月四日的总哈希覆盖。
这至少排除了临时补做一份文件冒充旧证据的可能。
江临把发现写到p-094下面,同时保留红色状态。
最新反馈:已定位一份发布前生成、但未被公开索引引用的候选证书。公开复现继续保持临时阻断,主定理状态不变,等待独立核验该对象是否满足第三个局部位置的全部条件。
顾明澈看着那条仍留在主页最上方的红幅:“文件都找到了,还不摘?”
“找到不等于查完。”
“很好。”顾明澈把卷在书包侧袋里的纸抽出来,摊平以后,正是上午那张五百美元问题清单,“那我暂时不找你报销豆浆了。”
两组独立核验随后从不同入口接走了那份候选证书,分头行动。
第一组:重新计算第三个局部位置的分解型。
第二组:绕开原脚本,直接从参数种子重建局部扩张,再严密检查它与塔引理所需标记集合的对应关系。
江临只负责提供被冻结版本中已经存在的对象编号,绝对不回答哪一项中间值应该是多少,以保证核验的独立性。
等待期间,p-094下面涌进两百多条评论。
有人言辞激烈要求立即撤稿,有人理性主张一个错误链接不影响数学结论,还有人试图从文件生成时间阴谋论地判断江临早就知道这里有问题。
顾明澈把不带命题编号和页码的评论全部留在公开讨论区,真正指出可验证条件的七条质疑被编入攻击目录。
他昨晚还担心别人发现字母d用了两遍究竟算谁的,如今答案已经明明白白摆在桌面上。
链接指错,算他的。
“N-017以后我只查了主文和附件目录的页码跳转,哈希索引是发布脚本生成的。”顾明澈在键盘上敲打,把索引勘误写到一半,停顿了一下,又把这句解释删掉。“算了,公开记录里写职责范围和漏检位置,别写申辩。”
“可以。”
“你就不能客气一下,说这不全是我的责任?”
“不是你一个人的责任。”
“听着更像准备再加几个人一起背锅。”
顾明澈把发布脚本维护者和自己列进错误责任字段,又把江临单独列为处置负责人。
谁负责改索引,谁负责复核数学对象,谁负责重新打包,各自占一行,清清楚楚。
下午三点,第一组核验发回结果。
第三个对象确实对应索引里缺失的局部位置,分解型与正文声明一致。
在商掉对应Frobenius元素以后,生成元秩下界保持不变。
但他们仍拒绝摘牌,因为第二组从参数种子开始的重建还差最后一项类群计算。
三点五十二分,学校官网在原说明最上方增加临时更新,完整引用p-094状态,并把上午那句截至当前未发现阻断项改成当前存在一项公开复现阻断。
下午四点五十六分,最后一格从灰色变成绿色。
第二组独立重建得到相同分解型,确认那份候选证书与完整共轭轨道匹配,三项局部条件全部满足。
p-094的提交者亲自复核了两组记录,在原质疑下面郑重增加结论。
【核验结论:数学对象自发布前已经存在,问题来自第三行公开索引重复指向第二份证书。当前质疑不再阻断公开复现。】
江临仍等到两组核验者全部签下自己的范围,才真正打开被冻结的发布目录。
修复动作极小,只改了一处索引。
把第三行链接从第二份证书的哈希换成那份早已存在的第三个哈希,主文、参数、证明对象和计算日志一字未动。
新版本编号从v1.0变为v1.0.1。
索引勘误R-003永久留在附件首页,作为学术记录的一部分。
【R-003永久成立:局部分解表第三行错误重复引用第二份证书,导致第三个局部位置无法经公开目录独立复现。】
【影响范围:公开索引与版本一致性。】
【主定理影响:经两组独立重建,当前未发现。】
下午五点零六分,江临把公开复现状态从临时阻断恢复为可独立读取,主定理一栏仍保持受控核验通过、外部审查继续。
那条红色的横条在核验入口仅仅停留了三小时四十三分。
但它被截进了新闻、论坛和无数个聊天群,也被如实收进论文版本历史。
今后任何人打开R-003,都能清晰地看见一个错误链接曾让整条公开复现路径停摆了三个多小时。
顾明澈改完最后一处目录跳转,长舒一口气,往椅背上一靠。
“我现在可以申请把工伤证明升级成事故报告了吗?”
“R-003里有你的名字。”
“谢谢,你的安慰一向可以直接归档。”
门边的垃圾袋还放在原处,江临拎起来准备下楼,然而公开邮箱又进来一封新邮件。
发件人是负责维护一份埃尔德什问题电子档案的组合数学家。
对方已经把江临的预印本、公开攻击目录和这次红牌记录附到单位距离问题条目下,状态仍未改成已解决,只从单独一行开放问题变成了带有候选反例的待核验问题。
邮件附件是一页更新后的问题清单。
原来那行n^(1+o(1))猜想下面,多出一行十一月七日添加的小字。
【L. Jiang, claimed counterexample, verification in progress.】
末尾的五百美元仍标在原处,奖金状态也仍是未支付。
顾明澈把上午打印的旧版从桌上抽出来,与新版本并排看了一遍。
“旧的要扔吗?”
“放进版本记录。”江临头也没回。
“我就知道。”
顾明澈拿起订书机,“咔哒”一声,把旧版、新版和见证了三小时四十三分风波的R-003报告钉在一起,又塞回江临桌上那本越来越厚的公开核验说明里。
五百美元夹在最后一页,继续等下一轮质疑。