到所有复嵌入下的单位圆上。
在这一步中，最容易发生的数学重合有三种。
单位根会让不同生成元对应同一方向，一般单位可能进入核，平面投影还可能把高维里的不同对象压在一起。
江临在最初的内部核验中，将前两项的损耗装入了一个统一的常数中，而第三项则依靠域嵌入的单射性予以排除。
此时，第二位研究者在黑板上将这三项重新逐一拆解。
单位根的数量被成功归入固定因子。
一般单位的核由 c域的代数结构给出了统一控制。
而不同代数数在指定嵌入下的像，也证明了无法重合。
方向的正反损耗在有向边转化为无向边时损失了二倍，但指数项依然稳稳地留在原处。
林照野坐在第一排静静听完，随后从平面端把同一组去重逻辑倒推了一遍。
两人的计算过程最终在常数c的表达式里完美汇合。
当讲解推进到窗口平均时，顾明澈指着屏幕突然出声：“等一下，这里的d是哪一个？”
屏幕左侧显示的是公共分母d，而右侧则是判别式的绝对值|d_K|。
在投影仪的模糊光影下，这两个符号看起来极其相似，坐在后排的几个学生已经在笔记本上抄到了同一行。
顾明澈迅速打开定义表，将正文中所有的判别式项全部替换回带完整下标的表达方式。
正文原本使用的符号在逻辑上是彼此可分的，但演示文稿为了节省排版空间删去了下标，险些在现场制造出一场额外的逻辑混乱。
授课老师在演示记录里落笔写下N-017。
【报告用符号过度缩写，不进入论文修改。】
“今天连作者的稿子都没动，”林照野转头调侃了一句，顺手把右侧黑板上的符号补全为d_K，“你居然也能找到活干。”
顾明澈松开翻页笔：“职责范围具有稳定性。”
“待遇也很稳定。”林照野接道。
下午五点，黑板上三栏之间只剩下最后一道连接的箭头。
无限塔提供次数不断上升、根判别式始终受控的c。
完全分裂的101提供指数增长的单位模方向。
窗口平均再把其中一部分方向变成平面点集里的单位边。
显式常数组将参数页重新投影到大屏幕上。
底域、分歧集合、标记素数、窗口半径倍率和分母指数全部在选择塔层之前被严格固定。
随着塔层向上延伸，单位方向数与窗口点数各自按照域次数呈指数级增长，而两个增长率之差，始终使用的是同一组全局参数。
远程画面里，那位负责数值核验的研究员擦掉了繁琐的小数展开，只在黑板右侧写下了两个简练的整数不等式。
第一条保证了分母始终为正。
第二条保证了分子严格大于零。
两条式子夹出的正余量再除以固定的log A，最终得到了与塔层完全无关的绝对常数δ?。
“数值程序只是把它在十进制下展开到了第三十八位，”核验员转过身对镜头说，“正号在展开以前，就已经在代数结构里成立了。”
第二位塔方向研究者依然严谨，他要求将域次数换成另一组递增子序列，重新检查所有参数是否依然保持固定。
讲台上的人照做。
点集规模改变，塔层索引改变，但参数页上的项未动分毫。
黑板右侧的δ?依然钉在六乘十的负三十八次方上方。
“这一条我认了。”
第二位研究者长舒了一口气，在自己的核验范围后签下了名字。
晚饭送到教室门口时，第一遍完整重构正式宣告结束。
六个模块都留下了新的讲解者签署的意见，二十三条质疑被记录进目录，其中十九条当场由独立证书关闭，剩余四条需要回到原始文献核对适用范围。
江临从最后一排站起身，走到门前取走两份盒饭，又默默坐回了原位。
顾明澈从讲台侧面走过来领饭，看着他笑道：“你今天唯一的工作就是搬两份盒饭？”
“我还提供了页码册。”江临拍了拍桌上厚厚的纸张。
“页码册全程放在桌上，你动都没动。”
“所以，说明整个过程没出故障。”江临打开盒饭盖。
剩余四条质疑在第二天下午全部关闭。
一条追问类数上界是否对当前c族一致成立，一条检查窗口平移从平均计数转成确定性存在时的量词，另外两条分别落在有向边去重和点集规模取整。
每一条质疑都由提出者亲自将其状态改为绿色，江临全程只提交了证书文件位置的权限。
接下来的交叉重构再交换一次模块，原先负责塔的人检查平面投影，数值组沿类数估计追溯输入，任何一项结论都不能由原负责人给自己盖第二个章。
十一月六日晚上八点，授课老师收齐最后一份签字页。
签字页写下各位核验者愿意承担的事实。
【pro-2塔无限性引理已由两条独立路线重建。】
【类数、单位模元素、窗口计数与平面投影的全部接口已完成交叉重构。】
【显式下界δ?＞6.0x10^－38已由两套独立严格区间证书确认。】
【截至当前，审查组未发现足以阻断主定理的缺口，建议公开预印本并接受更广泛审查。】
老师整理好纸张，将签字页递给了江临。
江临把核验说明放进公开附件，所有审查者列入致谢与独立核验记录。
顾明澈的名字出现在定义、引用和版本一致性核验一栏。
顾明澈凑过去，仔细检查了一遍自己名字的拼音字母：“待遇还是不变？”
“这份文件，最多算你的工伤证明。”老师合上最后一只文件夹，打趣道。
预印本终于可以公开上传了。
顾明澈替江临做发布前最后一次目录跳转。
论文标题已经从内部文件夹里的【单位距离反例】改成正式名称。
【A Superlinear Lower bound for Unit distances in the plane】
摘要的第一句话，清晰地保留了那个微小的显式下界。
【we prove that there exists an absolute constant e＞6.0x10^－38……】
顾明澈从摘要跳到q-001，又从q-002跳回定理页。
“外部的人第一眼就能看到你们花了整整两天重新计算了六和六点二五。”
“他们会从同一个地方开始发起攻击。”江临说。
“你把答案直接放在最前面，不怕他们照抄思路？”
“核验记录不能代替证明本身，”江临将q-001、q-002与全部开放质疑整理到附件首页，“谁如果不信，可以自己重新算一遍。”
晚上十一点，预印本平台系统返回了提交成功的编号。
江临同步将公开版本挂上了个人学术主页，并将链接发送给了此前只收到过攻击包的审阅链专家们。
网页最上方极简地列出了六个入口：论文主文、证明附件、核验记录、攻击目录、哈希值与版本历史。
顾明澈手动刷新了两下页面，下载计数从三跳到了十一。
其中八次，大概来自刚收到邮件通知的审阅组成员。
第十二次下载，来自于审阅链以外的未知Ip。
三分钟后，一封英文邮件打响了提示音，落入了公开邮箱。
发件人来自欧洲一所知名大学的数学系，正文简短得只有一句话。
【请确认我对摘要的理解：这里的e是固定正常数，因此你们构造的是埃尔德什猜想的反例？】
江临敲击键盘，只回复了一个单词。
【Yes.】
邮件状态刚由发送变为已读，个人主页上的下载计数便瞬间从二十七陡增到了一百零六。
顾明澈拆开带回来的两双一次性木筷，把其中一双递给江临，顺手又刷新了一次页面。
屏幕上的数字已经变成了二百八十四。
在这一步中，最容易发生的数学重合有三种。
单位根会让不同生成元对应同一方向，一般单位可能进入核，平面投影还可能把高维里的不同对象压在一起。
江临在最初的内部核验中，将前两项的损耗装入了一个统一的常数中，而第三项则依靠域嵌入的单射性予以排除。
此时，第二位研究者在黑板上将这三项重新逐一拆解。
单位根的数量被成功归入固定因子。
一般单位的核由 c域的代数结构给出了统一控制。
而不同代数数在指定嵌入下的像，也证明了无法重合。
方向的正反损耗在有向边转化为无向边时损失了二倍，但指数项依然稳稳地留在原处。
林照野坐在第一排静静听完，随后从平面端把同一组去重逻辑倒推了一遍。
两人的计算过程最终在常数c的表达式里完美汇合。
当讲解推进到窗口平均时，顾明澈指着屏幕突然出声：“等一下，这里的d是哪一个？”
屏幕左侧显示的是公共分母d，而右侧则是判别式的绝对值|d_K|。
在投影仪的模糊光影下，这两个符号看起来极其相似，坐在后排的几个学生已经在笔记本上抄到了同一行。
顾明澈迅速打开定义表，将正文中所有的判别式项全部替换回带完整下标的表达方式。
正文原本使用的符号在逻辑上是彼此可分的，但演示文稿为了节省排版空间删去了下标，险些在现场制造出一场额外的逻辑混乱。
授课老师在演示记录里落笔写下N-017。
【报告用符号过度缩写，不进入论文修改。】
“今天连作者的稿子都没动，”林照野转头调侃了一句，顺手把右侧黑板上的符号补全为d_K，“你居然也能找到活干。”
顾明澈松开翻页笔：“职责范围具有稳定性。”
“待遇也很稳定。”林照野接道。
下午五点，黑板上三栏之间只剩下最后一道连接的箭头。
无限塔提供次数不断上升、根判别式始终受控的c。
完全分裂的101提供指数增长的单位模方向。
窗口平均再把其中一部分方向变成平面点集里的单位边。
显式常数组将参数页重新投影到大屏幕上。
底域、分歧集合、标记素数、窗口半径倍率和分母指数全部在选择塔层之前被严格固定。
随着塔层向上延伸，单位方向数与窗口点数各自按照域次数呈指数级增长，而两个增长率之差，始终使用的是同一组全局参数。
远程画面里，那位负责数值核验的研究员擦掉了繁琐的小数展开，只在黑板右侧写下了两个简练的整数不等式。
第一条保证了分母始终为正。
第二条保证了分子严格大于零。
两条式子夹出的正余量再除以固定的log A，最终得到了与塔层完全无关的绝对常数δ?。
“数值程序只是把它在十进制下展开到了第三十八位，”核验员转过身对镜头说，“正号在展开以前，就已经在代数结构里成立了。”
第二位塔方向研究者依然严谨，他要求将域次数换成另一组递增子序列，重新检查所有参数是否依然保持固定。
讲台上的人照做。
点集规模改变，塔层索引改变，但参数页上的项未动分毫。
黑板右侧的δ?依然钉在六乘十的负三十八次方上方。
“这一条我认了。”
第二位研究者长舒了一口气，在自己的核验范围后签下了名字。
晚饭送到教室门口时，第一遍完整重构正式宣告结束。
六个模块都留下了新的讲解者签署的意见，二十三条质疑被记录进目录，其中十九条当场由独立证书关闭，剩余四条需要回到原始文献核对适用范围。
江临从最后一排站起身，走到门前取走两份盒饭，又默默坐回了原位。
顾明澈从讲台侧面走过来领饭，看着他笑道：“你今天唯一的工作就是搬两份盒饭？”
“我还提供了页码册。”江临拍了拍桌上厚厚的纸张。
“页码册全程放在桌上，你动都没动。”
“所以，说明整个过程没出故障。”江临打开盒饭盖。
剩余四条质疑在第二天下午全部关闭。
一条追问类数上界是否对当前c族一致成立，一条检查窗口平移从平均计数转成确定性存在时的量词，另外两条分别落在有向边去重和点集规模取整。
每一条质疑都由提出者亲自将其状态改为绿色，江临全程只提交了证书文件位置的权限。
接下来的交叉重构再交换一次模块，原先负责塔的人检查平面投影，数值组沿类数估计追溯输入，任何一项结论都不能由原负责人给自己盖第二个章。
十一月六日晚上八点，授课老师收齐最后一份签字页。
签字页写下各位核验者愿意承担的事实。
【pro-2塔无限性引理已由两条独立路线重建。】
【类数、单位模元素、窗口计数与平面投影的全部接口已完成交叉重构。】
【显式下界δ?＞6.0x10^－38已由两套独立严格区间证书确认。】
【截至当前，审查组未发现足以阻断主定理的缺口，建议公开预印本并接受更广泛审查。】
老师整理好纸张，将签字页递给了江临。
江临把核验说明放进公开附件，所有审查者列入致谢与独立核验记录。
顾明澈的名字出现在定义、引用和版本一致性核验一栏。
顾明澈凑过去，仔细检查了一遍自己名字的拼音字母：“待遇还是不变？”
“这份文件，最多算你的工伤证明。”老师合上最后一只文件夹，打趣道。
预印本终于可以公开上传了。
顾明澈替江临做发布前最后一次目录跳转。
论文标题已经从内部文件夹里的【单位距离反例】改成正式名称。
【A Superlinear Lower bound for Unit distances in the plane】
摘要的第一句话，清晰地保留了那个微小的显式下界。
【we prove that there exists an absolute constant e＞6.0x10^－38……】
顾明澈从摘要跳到q-001，又从q-002跳回定理页。
“外部的人第一眼就能看到你们花了整整两天重新计算了六和六点二五。”
“他们会从同一个地方开始发起攻击。”江临说。
“你把答案直接放在最前面，不怕他们照抄思路？”
“核验记录不能代替证明本身，”江临将q-001、q-002与全部开放质疑整理到附件首页，“谁如果不信，可以自己重新算一遍。”
晚上十一点，预印本平台系统返回了提交成功的编号。
江临同步将公开版本挂上了个人学术主页，并将链接发送给了此前只收到过攻击包的审阅链专家们。
网页最上方极简地列出了六个入口：论文主文、证明附件、核验记录、攻击目录、哈希值与版本历史。
顾明澈手动刷新了两下页面，下载计数从三跳到了十一。
其中八次，大概来自刚收到邮件通知的审阅组成员。
第十二次下载，来自于审阅链以外的未知Ip。
三分钟后，一封英文邮件打响了提示音，落入了公开邮箱。
发件人来自欧洲一所知名大学的数学系，正文简短得只有一句话。
【请确认我对摘要的理解：这里的e是固定正常数，因此你们构造的是埃尔德什猜想的反例？】
江临敲击键盘，只回复了一个单词。
【Yes.】
邮件状态刚由发送变为已读，个人主页上的下载计数便瞬间从二十七陡增到了一百零六。
顾明澈拆开带回来的两双一次性木筷，把其中一双递给江临，顺手又刷新了一次页面。
屏幕上的数字已经变成了二百八十四。