第206章 怎么感觉他在钓鱼(3/4)
最新反馈:已定位一份发布前生成、但未被公开索引引用的候选证书。
公开复现继续保持临时阻断,主定理状态不变,等待独立核验该对象是否满足第三个局部位置的全部条件。
顾明澈看着那条仍留在主页最上方的红幅:“文件都找到了,还不摘?”
“找到不等于查完。”
“很好。”顾明澈把卷在书包侧袋里的纸抽出来,摊平以后,正是上午那张五百美元问题清单,“那我暂时不找你报销豆浆了。”
两组独立核验随后从不同入口接走了那份候选证书,分头行动。
第一组:重新计算第三个局部位置的分解型。
第二组:绕开原脚本,直接从参数种子重建局部扩张,再严密检查它与塔引理所需标记集合的对应关系。
江临只负责提供被冻结版本中已经存在的对象编号,绝对不回答哪一项中间值应该是多少,以保证核验的独立性。
等待期间,p-094下面涌进两百多条评论。
有人言辞激烈要求立即撤稿,有人理性主张一个错误链接不影响数学结论,还有人试图从文件生成时间阴谋论地判断江临早就知道这里有问题。
顾明澈把不带命题编号和页码的评论全部留在公开讨论区,真正指出可验证条件的七条质疑被编入攻击目录。
他昨晚还担心别人发现字母d用了两遍究竟算谁的,如今答案已经明明白白摆在桌面上。
链接指错,算他的。
“N-017以后我只查了主文和附件目录的页码跳转,哈希索引是发布脚本生成的。”顾明澈在键盘上敲打,把索引勘误写到一半,停顿了一下,又把这句解释删掉。
“算了,公开记录里写职责范围和漏检位置,别写申辩。”
“可以。”
“你就不能客气一下,说这不全是我的责任?”
“不是你一个人的责任。”
“听着更像准备再加几个人一起背锅。”
顾明澈把发布脚本维护者和自己列进错误责任字段,又把江临单独列为处置负责人。
谁负责改索引,谁负责复核数学对象,谁负责重新打包,各自占一行,清清楚楚。
下午三点,第一组核验发回结果。
第三个对象确实对应索引里缺失的局部位置,分解型与正文声明一致。
在商掉对应Frobenius元素以后,生成元秩下界保持不变。
但他们仍拒绝摘牌,因为第二组从参数种子开始的重建还差最后一项类群计算。
三点五十二分,学校官网在原说明最上方增加临时更新,完整引用p-094状态,并把上午那句截至当前未发现阻断项改成当前存在一项公开复现阻断。
下午四点五十六分,最后一格从灰色变成绿色。
第二组独立重建得到相同分解型,确认那份候选证书与完整共轭轨道匹配,三项局部条件全部满足。
p-094的提交者亲自复核了两组记录,在原质疑下面郑重增加结论。
【核验结论:数学对象自发布前已经存在,问题来自第三行公开索引重复指向第二份证书。
当前质疑不再阻断公开复现。】
江临仍等到两组核验者全部签下自己的范围,才真正打开被冻结的发布目录。
修复动作极小,只改了一处索引。
把第三行链接从第二份证书的哈希换成那份早已存在的第三个哈希,主文、参数、证明对象和计算日志一字未动。
新版本编号从v1.
本章未完,请翻下一页继续阅读.........