“我那1023量级零点样本跑出来的东西。”李东说。

“把分歧指数和对关联收敛区间的对应关系整理成了一张数值表。”

“你把提升算子的阶数估计放在这上面反向校准一下。”

“每一层不用再逐项构造，直接整体校验就行。”

杨胜果拿着表看了两分锺。

然後抬起头。

“小子。”

“你早点把这个给我不行吗？”

李东眨了眨眼睛。

“我也是才整理出来的呀。”

“再早，表里的格子都是空的。”

杨胜果叹了口气，又忍不住笑了一下。

原本估计要花两个月的递推链条。

五天，写完了。

……

但真正难的那一步，还是李东自己那边。

零点判据里，必要性那一边还好。

难的是充分性。

“f_π(a)在|a|∈[0，2\/n]上收敛到gue预测值n|a|”，要直接推出“π满足局部-整体相容性”，中间隔着一道很厚的墙。

这道墙，他和彭罗斯前前後後讨论了十几次，绕了好几圈，都没走通。

直到杨胜果那条线推到後半段。

他把自己递归提升算子在第k层和第k+1层之间的那个相容性差，写成了一个特别干净的形式。

李东路过他那块白板时，不小心看到了。

然後突然抬起头。

“杨老师。”

杨胜果正在擦另一块白板，听见他叫，回过头。

“嗯？”

“你这一行。”李东指了指白板，“恰好就是我充分性证明里要消掉的那一项的对偶。”

杨胜果愣了一下。

“不能这麽巧吧？”

李东没答话。

他把笔从杨胜果手里抢了过来，在白板空白处画了一个对偶图。

一条线是杨胜果的递归提升算子在层间的相容性差。

一条线是他自己充分性证明里那个迟迟消不掉的余项。

两条线画完，接了起来。

两个人对视了一眼。

彭罗斯站在旁边没说话，只是嘴角动了动。

这就是科研合作里最玄的那一下东西。

三条线本来是平行的。

如果三个人真合得来。
本章未完，请翻下一页继续阅读.........