要性那一边还好。

难的是充分性。

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

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

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

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

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

然后突然抬起头。

“杨老师。”

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

“嗯？”

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

杨胜果愣了一下。

“不能这么巧吧？”

李东没答话。

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

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

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

两条线画完，接了起来。

两个人对视了一眼。

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

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

三条线本来是平行的。

如果三个人真合得来。

不用刻意去拚。

它们会自己找到彼此。

……

这一下出来之后，课题的骨架就清楚了。

彭罗斯那条线已经写到收尾。

杨胜果那条线也已经封到了gl(n)的最后一层。

李东自己那边，充分性证明的墙也被推倒了……

三个人心里大概都有数了。

这个课题走了八成了。

剩下的两成只能李东一个人来干。

“教授。”

李东合上笔记本，看向彭罗斯。

“您这条线，差不多可以先停一下了。”

彭罗斯点了点头。

“我自己也是这么想的。”

“再往下写，就开始侵入你们的那一段了。”

李东笑了笑。

“明天再陪杨老师把最后一层过一遍。”

“后面的事，就交给我了。”

彭罗斯举了举咖啡杯，没说话。

研讨室的灯亮到了凌晨两点。

白板上的字擦了又写，写了又擦。

……

寒假就这么结束了。

杨胜果也要回江城了。

走的那天，李东和彭罗斯一起把他送到了出租车上。

“杨老师，后面的事交给我了，你放心的去吧！”

杨胜果：……

虽然李东这玩意儿话说的不好听。

但是他也知道后面他帮不上忙了。

这个课题里最大的那个框架，是李东的。

最关键的那把工具，也是李东的

章节内容不完整，请退出阅读模式查看完整内容！