十一月十四日，上午八点。
紫荆公寓十七号楼，402室。
顾明澈把一份四十二页的核验报告拖到屏幕左侧，又从江临那本越来越厚的《公开核验说明》里翻出最初的构造总图，压在打印出来的纸质终稿旁，用笔尖点着逐项对照。
那张标着五百美元的旧问题清单被夹在R-003勘误报告的后面，订书钉穿过三层纸，边角已经让他在这几天里翻得有些发毛。
“他们真的一份证书都没用？”顾明澈看着报告上的参数集。
“作者附件、参数种子和分解表都在隔离清单里。”
江临滑动鼠标，调出报告最后的材料声明：“重建组只能读取论文定义、主定理和需要满足的十七项公开条件。至于我选过哪些素数，他们一行也看不到。”
过去六天里，来自波恩、普林斯顿和布达佩斯的七名研究者，在不见原代码的净室环境下重新写了三万多行代码。
他们另选了一组允许分歧素数与完全分裂素数，从零开始构造 pro-2 类域塔，再把全部共轭嵌入压进同一个计算窗口。
第一轮，他们选出的塔在第六层停住，类群秩的增长被判别式代价吃掉，最终只能得到n乘上一串对数，构造失败。
第二轮，换了底域，塔艰难活到了第十一层，但平面投影却撞出一批重复点，删减去重后，固定指数又缩回了零。
直到今天凌晨三点十七分，第三轮测试结束。
重建组使用了一套与江临原文截然不同的标记素数和投影参数，成功得到另一族平面点集。
虽然这套新参数的指数比论文里给出的存在性下界更差，但它确确实实地停在了零的右侧。
报告首页，用一行孤零零的加粗文字概括了全部结果、
clean-rooreconstruction sessful.
顾明澈把这一行英文看了第三遍，手指沿着材料声明往下滑，确认那三份曾经把他们折腾了三小时四十三分的局部分解证书，确实老老实实地躺在禁用栏里。
“复算你的文件，最多只能说明你没在文件里骗人。”他把报告翻到第三轮参数表，“现在他们换了一堆数，还能造出同样的东西，这才算真学会了？”
“至少说明这条路线不依赖那一套特定的样本。”
“你能不能把至少这个词临时关掉十分钟？”顾明澈指着最后一页的签名栏，“七个人全签了，原来最怀疑pro-2关系预算的那位德国教授，还把名字端端正正写在了第一个。”
江临没接话，视线停在附录里的两条保留意见上。
这两条意见并非针对数学逻辑，而是要求把主稿中已经写明的边界条件提前。
建议把证明末段的除有限个参数外同步放到平面投影引理的首句。
建议把主定理证明中的对无穷多个n成立前移到摘要，免得外界媒体和非专业读者把无穷构造族，误转述成每个整数规模都能直接构造。
两处修改只调整信息出现的位置，固定正常数、主定理的量词与适用范围从原稿起便一字未改。
江临把它们列入 v1.1 版式修改表。
此时，公开状态页顶部仍留着黄色的审查中标记。
顾明澈盯着那块黄色看了一会儿，拿起手机给授课老师发消息。
“你干什么？”
“请示教学事故怎么处理。”
“什么事故？”
“老师上个月在讲义里把它印成猜想，还布置了一道题，让我们解释为什么所有已知构造都支持n的一加小o。”
消息刚发出去十秒，授课老师的电话便直接打到了江临的手机上。
“报告看完了吗？”老师的声音有些沉。
“看完了，独立重建成立，两条保留意见需要进入 v1.1。”
“我问的是主链。”
“当前五组外部核验加上clean-roo建，都没有发现主链阻断项。”
电话那头，老师吸了一口长气，办公桌抽屉随即传来翻找粉笔盒的碰撞声。
“九点五十的课，能不能麻烦你和顾明澈过来一趟。”
挂断电话，老师将一份改过的电子讲义发进两人的邮箱。
原本排在第三节的半代数集合被整体后移，首页标题从《平面单位距离问题》干脆利落地改成了《平面单位距离问题的新下界》。
旧的猜想表达式还在第一行，但后面多了一个醒目的红色删除标记。
电话挂断以后，顾明澈盯着新旧两版讲义并排放大的屏幕，终于找到了比那五百美元清单更值得截图的东西。
“你当初去旁听了三个小时，老师给你列了三笔账。”他点着屏幕，声音里压着笑意，“没想到才过去二十八天，他就不得不把这节课重写一遍了。”
“三笔账还在。”
“隔离重建都成了，怎么还在？”
“点数、差向量和重复次数已经还清。”江临语气平静，“但显式指数、最优常数和上界缺口，又产生了新账。”
顾明澈果断关掉旧版讲义，拒绝陪一个刚推翻七十六年猜想的人在早饭前开发新的学术债务。
九点零二分，林照野在公开审查组提交了第三轮总报告。
这份报告沉甸甸地汇总了这几天的所有风波。
一百四十七条有效质疑、两项既有边界前移、一处索引勘误、五组逐段核验和一组隔离重建。
q-001、q-002 与 R-003 分别被严谨地列进塔关系界、显式常数和公开索引三栏。
q-001 与 q-002 记录的是已经由独立路线关闭的关键质疑，R-003 记录的是未影响数学对象的索引错误。
当前版本的每一项主链依赖都已经获得至少两名外部研究者签名，clean-roo组又用不同参数造出了第二个实例族。
林照野在结论栏敲下审查组的共同意见。
审查结论：在公开声明的范围内，现有证据支持主定理成立。建议结束候选反例状态，转入已公开验证、期刊评议继续。
黄色标记的修改权限仍在江临手里。
他默默地核对完七个签名、版本哈希和两条保留意见，把状态页从发布以来的全部记录重新拉了一遍：
11月06日：受控核验完成。
11月07日：公开发布。下午，p-094触发公开复现临时阻断。
11月07日：三小时四十三分后，R-003归档，阻断解除。
11月08日 - 13日：四组交叉攻击完成。
11月14日：隔离重建完成。
九点十一分，页面顶部的黄色横条终于消失，主定理后方换成了一枚沉静的深绿色标记。
公开核验通过|期刊同行评议进行中
江临把 v1.1 提交到预印本平台，将原稿已有的两处边界说明前移到摘要和定理页。
全部质疑记录、独立核验材料、R-003索引勘误和攻击目录原样保留，没有任何粉饰。
状态页更新后的第五分钟，陶哲轩发来了一封邮件。
他已经读过隔离重建报告，也亲自独立核对了新参数族与主定理之间的指数账，明确认可现有证明与外部复现足以支持固定正常数下界。
邮件末尾，附着他个人学术页面的更新链接。
六天前的那篇短文标题仍是《江临声称给出单位距离猜想的反例》，但顾明澈敏锐地发现，正文第一段末尾少了两个英文单词。
他把旧网页缓存翻出来，与刚刚更新的页面左右并排。
左边的旧版写着：if correct.
右边的新版，那句话在句号前直接落到了结论上，不再带有任何条件状语。
“九点二十三。”顾明澈截下两张图的系统时间，“这两个词，活了六天零八小时。”
从 如果正确 到 已经成立。
两个单词的删除，无疑是顶尖数学家给出的正式背书。
江临没理会这句感慨，只是把陶哲轩邮件里列出的后续问题加入了公开目录。
“他把提高δ列进了开放问题。”
“那属于是下一篇论文的麻烦。”顾明澈合上电脑，抓起书包往门外走，“今天这节课，先让旧猜想死透。”
九点四十七分，原定六十二人的教室里，已经挤进去了九十多人。
走廊里还有学生抱着电脑靠墙站，踮着脚往里面望。
授课老师严防死守在门口，坚持只放本校师生进来，把扛着摄像机闻风赶来的两家媒体直接交给了学校宣传部门处理。
“上次借六百人的大礼堂，后排连黑板上的公式都看不清。这次谁想听，就自己挤。”
老师从讲台下搬出一把折叠备用椅，塞给顾明澈。
“你坐讲台侧面，别占选课学生的位置。”
顾明澈抱着椅子从第一排的缝隙里穿过去，忽然觉得有些好笑。
自己作为这篇轰动学界论文的附件维护人员，待遇倒是出奇的稳定。
出名前在台下查字母下标，出名后自带板凳坐侧台。
十点整，投影幕布上准时出现那份刚刚改过的讲义。
老师请上讲台的第一个人，正是四周前递给江临三次数域失败反例的那位博士生。
他参与了第五组外部核验，也负责隔离重建的平面投影部分，此刻电脑里打开的第一张图，仍然是他自己当初那套失败的构造。
“上个月，我用这个例子反对让数域次数继续增长。因为第三次扩张以后，其他
紫荆公寓十七号楼，402室。
顾明澈把一份四十二页的核验报告拖到屏幕左侧，又从江临那本越来越厚的《公开核验说明》里翻出最初的构造总图，压在打印出来的纸质终稿旁，用笔尖点着逐项对照。
那张标着五百美元的旧问题清单被夹在R-003勘误报告的后面，订书钉穿过三层纸，边角已经让他在这几天里翻得有些发毛。
“他们真的一份证书都没用？”顾明澈看着报告上的参数集。
“作者附件、参数种子和分解表都在隔离清单里。”
江临滑动鼠标，调出报告最后的材料声明：“重建组只能读取论文定义、主定理和需要满足的十七项公开条件。至于我选过哪些素数，他们一行也看不到。”
过去六天里，来自波恩、普林斯顿和布达佩斯的七名研究者，在不见原代码的净室环境下重新写了三万多行代码。
他们另选了一组允许分歧素数与完全分裂素数，从零开始构造 pro-2 类域塔，再把全部共轭嵌入压进同一个计算窗口。
第一轮，他们选出的塔在第六层停住，类群秩的增长被判别式代价吃掉，最终只能得到n乘上一串对数，构造失败。
第二轮，换了底域，塔艰难活到了第十一层，但平面投影却撞出一批重复点，删减去重后，固定指数又缩回了零。
直到今天凌晨三点十七分，第三轮测试结束。
重建组使用了一套与江临原文截然不同的标记素数和投影参数，成功得到另一族平面点集。
虽然这套新参数的指数比论文里给出的存在性下界更差，但它确确实实地停在了零的右侧。
报告首页，用一行孤零零的加粗文字概括了全部结果、
clean-rooreconstruction sessful.
顾明澈把这一行英文看了第三遍，手指沿着材料声明往下滑，确认那三份曾经把他们折腾了三小时四十三分的局部分解证书，确实老老实实地躺在禁用栏里。
“复算你的文件，最多只能说明你没在文件里骗人。”他把报告翻到第三轮参数表，“现在他们换了一堆数，还能造出同样的东西，这才算真学会了？”
“至少说明这条路线不依赖那一套特定的样本。”
“你能不能把至少这个词临时关掉十分钟？”顾明澈指着最后一页的签名栏，“七个人全签了，原来最怀疑pro-2关系预算的那位德国教授，还把名字端端正正写在了第一个。”
江临没接话，视线停在附录里的两条保留意见上。
这两条意见并非针对数学逻辑，而是要求把主稿中已经写明的边界条件提前。
建议把证明末段的除有限个参数外同步放到平面投影引理的首句。
建议把主定理证明中的对无穷多个n成立前移到摘要，免得外界媒体和非专业读者把无穷构造族，误转述成每个整数规模都能直接构造。
两处修改只调整信息出现的位置，固定正常数、主定理的量词与适用范围从原稿起便一字未改。
江临把它们列入 v1.1 版式修改表。
此时，公开状态页顶部仍留着黄色的审查中标记。
顾明澈盯着那块黄色看了一会儿，拿起手机给授课老师发消息。
“你干什么？”
“请示教学事故怎么处理。”
“什么事故？”
“老师上个月在讲义里把它印成猜想，还布置了一道题，让我们解释为什么所有已知构造都支持n的一加小o。”
消息刚发出去十秒，授课老师的电话便直接打到了江临的手机上。
“报告看完了吗？”老师的声音有些沉。
“看完了，独立重建成立，两条保留意见需要进入 v1.1。”
“我问的是主链。”
“当前五组外部核验加上clean-roo建，都没有发现主链阻断项。”
电话那头，老师吸了一口长气，办公桌抽屉随即传来翻找粉笔盒的碰撞声。
“九点五十的课，能不能麻烦你和顾明澈过来一趟。”
挂断电话，老师将一份改过的电子讲义发进两人的邮箱。
原本排在第三节的半代数集合被整体后移，首页标题从《平面单位距离问题》干脆利落地改成了《平面单位距离问题的新下界》。
旧的猜想表达式还在第一行，但后面多了一个醒目的红色删除标记。
电话挂断以后，顾明澈盯着新旧两版讲义并排放大的屏幕，终于找到了比那五百美元清单更值得截图的东西。
“你当初去旁听了三个小时，老师给你列了三笔账。”他点着屏幕，声音里压着笑意，“没想到才过去二十八天，他就不得不把这节课重写一遍了。”
“三笔账还在。”
“隔离重建都成了，怎么还在？”
“点数、差向量和重复次数已经还清。”江临语气平静，“但显式指数、最优常数和上界缺口，又产生了新账。”
顾明澈果断关掉旧版讲义，拒绝陪一个刚推翻七十六年猜想的人在早饭前开发新的学术债务。
九点零二分，林照野在公开审查组提交了第三轮总报告。
这份报告沉甸甸地汇总了这几天的所有风波。
一百四十七条有效质疑、两项既有边界前移、一处索引勘误、五组逐段核验和一组隔离重建。
q-001、q-002 与 R-003 分别被严谨地列进塔关系界、显式常数和公开索引三栏。
q-001 与 q-002 记录的是已经由独立路线关闭的关键质疑，R-003 记录的是未影响数学对象的索引错误。
当前版本的每一项主链依赖都已经获得至少两名外部研究者签名，clean-roo组又用不同参数造出了第二个实例族。
林照野在结论栏敲下审查组的共同意见。
审查结论：在公开声明的范围内，现有证据支持主定理成立。建议结束候选反例状态，转入已公开验证、期刊评议继续。
黄色标记的修改权限仍在江临手里。
他默默地核对完七个签名、版本哈希和两条保留意见，把状态页从发布以来的全部记录重新拉了一遍：
11月06日：受控核验完成。
11月07日：公开发布。下午，p-094触发公开复现临时阻断。
11月07日：三小时四十三分后，R-003归档，阻断解除。
11月08日 - 13日：四组交叉攻击完成。
11月14日：隔离重建完成。
九点十一分，页面顶部的黄色横条终于消失，主定理后方换成了一枚沉静的深绿色标记。
公开核验通过|期刊同行评议进行中
江临把 v1.1 提交到预印本平台，将原稿已有的两处边界说明前移到摘要和定理页。
全部质疑记录、独立核验材料、R-003索引勘误和攻击目录原样保留，没有任何粉饰。
状态页更新后的第五分钟，陶哲轩发来了一封邮件。
他已经读过隔离重建报告，也亲自独立核对了新参数族与主定理之间的指数账，明确认可现有证明与外部复现足以支持固定正常数下界。
邮件末尾，附着他个人学术页面的更新链接。
六天前的那篇短文标题仍是《江临声称给出单位距离猜想的反例》，但顾明澈敏锐地发现，正文第一段末尾少了两个英文单词。
他把旧网页缓存翻出来，与刚刚更新的页面左右并排。
左边的旧版写着：if correct.
右边的新版，那句话在句号前直接落到了结论上，不再带有任何条件状语。
“九点二十三。”顾明澈截下两张图的系统时间，“这两个词，活了六天零八小时。”
从 如果正确 到 已经成立。
两个单词的删除，无疑是顶尖数学家给出的正式背书。
江临没理会这句感慨，只是把陶哲轩邮件里列出的后续问题加入了公开目录。
“他把提高δ列进了开放问题。”
“那属于是下一篇论文的麻烦。”顾明澈合上电脑，抓起书包往门外走，“今天这节课，先让旧猜想死透。”
九点四十七分，原定六十二人的教室里，已经挤进去了九十多人。
走廊里还有学生抱着电脑靠墙站，踮着脚往里面望。
授课老师严防死守在门口，坚持只放本校师生进来，把扛着摄像机闻风赶来的两家媒体直接交给了学校宣传部门处理。
“上次借六百人的大礼堂，后排连黑板上的公式都看不清。这次谁想听，就自己挤。”
老师从讲台下搬出一把折叠备用椅，塞给顾明澈。
“你坐讲台侧面，别占选课学生的位置。”
顾明澈抱着椅子从第一排的缝隙里穿过去，忽然觉得有些好笑。
自己作为这篇轰动学界论文的附件维护人员，待遇倒是出奇的稳定。
出名前在台下查字母下标，出名后自带板凳坐侧台。
十点整，投影幕布上准时出现那份刚刚改过的讲义。
老师请上讲台的第一个人，正是四周前递给江临三次数域失败反例的那位博士生。
他参与了第五组外部核验，也负责隔离重建的平面投影部分，此刻电脑里打开的第一张图，仍然是他自己当初那套失败的构造。
“上个月，我用这个例子反对让数域次数继续增长。因为第三次扩张以后，其他