第207章 猜想死去的那天上午(1/5)
十一月十四日,上午八点。
紫荆公寓十七号楼,402室。
顾明澈把一份四十二页的核验报告拖到屏幕左侧,又从江临那本越来越厚的《公开核验说明》里翻出最初的构造总图,压在打印出来的纸质终稿旁,用笔尖点着逐项对照。
那张标着五百美元的旧问题清单被夹在R-003勘误报告的后面,订书钉穿过三层纸,边角已经让他在这几天里翻得有些发毛。
“他们真的一份证书都没用?”顾明澈看着报告上的参数集。
“作者附件、参数种子和分解表都在隔离清单里。”
江临滑动鼠标,调出报告最后的材料声明:“重建组只能读取论文定义、主定理和需要满足的十七项公开条件。
至于我选过哪些素数,他们一行也看不到。”
过去六天里,来自波恩、普林斯顿和布达佩斯的七名研究者,在不见原代码的净室环境下重新写了三万多行代码。
他们另选了一组允许分歧素数与完全分裂素数,从零开始构造 pro-2 类域塔,再把全部共轭嵌入压进同一个计算窗口。
第一轮,他们选出的塔在第六层停住,类群秩的增长被判别式代价吃掉,最终只能得到n乘上一串对数,构造失败。
第二轮,换了底域,塔艰难活到了第十一层,但平面投影却撞出一批重复点,删减去重后,固定指数又缩回了零。
直到今天凌晨三点十七分,第三轮测试结束。
重建组使用了一套与江临原文截然不同的标记素数和投影参数,成功得到另一族平面点集。
虽然这套新参数的指数比论文里给出的存在性下界更差,但它确确实实地停在了零的右侧。
报告首页,用一行孤零零的加粗文字概括了全部结果、
clean-room reconstruction suessful.
顾明澈把这一行英文看了第三遍,手指沿着材料声明往下滑,确认那三份曾经把他们折腾了三小时四十三分的局部分解证书,确实老老实实地躺在禁用栏里。
“复算你的文件,最多只能说明你没在文件里骗人。”他把报告翻到第三轮参数表,“现在他们换了一堆数,还能造出同样的东西,这才算真学会了?”
“至少说明这条路线不依赖那一套特定的样本。”
“你能不能把至少这个词临时关掉十分钟?”顾明澈指着最后一页的签名栏,“七个人全签了,原来最怀疑pro-2关系预算的那位德国教授,还把名字端端正正写在了第一个。”
江临没接话,视线停在附录里的两条保留意见上。
这两条意见并非针对数学逻辑,而是要求把主稿中已经写明的边界条件提前。
建议把证明末段的除有限个参数外同步放到平面投影引理的首句。
建议把主定理证明中的对无穷多个n成立前移到摘要,免得外界媒体和非专业读者把无穷构造族,误转述成每个整数规模都能直接构造。
两处修改只调整信息出现的位置,固定正常数、主定理的量词与适用范围从原稿起便一字未改。
江临把它们列入 v1.
1 版式修改表。
此时,公开状态页顶部仍留着黄色的审查中标记。
顾明澈盯着那块黄色看了一会儿,拿起手机给授课老师发消息。
“你干什么?”
“请示教学事故怎么处理。”
“什么事故?”
“老师上个月在讲义里把它印成猜想,还布置了一道题,让我们解释为什么所有已知构造都支持n的一加小o。”
消息刚发出去十秒,授课老师的电话便直接打到了江临的手机上。
“报告看完了吗?”老师的声音有些沉。
本章未完,请翻下一页继续阅读.........