“如果你在固定数域里找到另一种不受它们支配的机制，这条引理管不到你。”

博士生没有立即坐下。

“我想继续查这个边界。”

“你现在有多少材料？”

“五十七页，还有一个没跑完的程序。”

“别等程序跑完，今天下午把已经确定的假设列出来，中心给你单独开验证分支。”

博士生点了一下头，坐下便开始在第一页重写假设。

第二个问题来自布达佩斯的远程线路。

一名重建组成员把刚才那份九十二页附件里的一行不等式圈了出来。

“如果把完全分裂换成分裂密度的下界，我们现在的十二层数据还值得继续跑吗？”

江临在主屏上翻到附件第四十一页，将一个隐含在数表里的误差项抽了出来，又在黑板上补了两步。

三分钟后，一条新的条件出现在屏幕旁边。

只要误差项在这个界内对层数一致，完全分裂就可以换成更弱的密度条件，后面的窗口与投影结算不必推倒重来。

江临在新条件下面画了一道横线。

“先证这个一致界，后面不用再向上堆层数了。”

远程画面里，几个人同时转过头，开始清理身后白板上原来的计算。

提问池里，那条问题的状态没有变成“已回答”，而是被顾明澈改成了“待接入项目”。

第三个问题来自前排一名做概率组合的教授。

他没有问证明细节，而是报出了自己组里两名博后的名字。

“他们现在正在做带重纤维的随机投影。”

他指了一下论文里最后那笔损失。

“如果中心准备把有限规模的起效点压下来，我想让他们过来待半年。”

“他们的工资和算力由我的项目出，但我要一个独立接口，不挂在原证明下面。”

“你们自己定义问题，中心只提供数据格式和验证库。”

教授当场打开手机，把原本只写了“有意向”的访问申请转给两名博后，让他们当天补齐材料。

接下来的一个小时，台下没有人再问这篇论文是不是已经解决了单位距离问题。

他们开始问判别式的一致控制能不能继续放宽，问投影清算能不能换成概率模型，问单位距离的构造是否能推向更一般的有限图形。

有人只有一个想法，有人已经带来了几十页材料，还有人在远程画面里直接抱来了一块写满式子的白板。

江临能当场给出条件的，便把条件写清楚。

暂时无法闭合的，他也不替对方猜一个结论，只把那项问题接入公开验证分支，让所有已知边界都保留在原位。

中午十二点十五分，报告厅的工作人员第一次走到顾明澈身边，提醒他下午还有活动。

顾明澈看了一眼还有二百多条内容的问题池，又看了一眼台下一排已经被打开的电脑。

顾明澈把平板转向江临，屏幕上还有二百多条问题。

“十五分钟不够。”

“这里本来也不是工作室。”

江临看向第一排。
本章未完，请翻下一页继续阅读.........