“小周子，那你毕业以後会去那个研究所吗？”

    周牧想了想。

    “我还是更喜欢纯数学。”

    “做纯数就不能帮他们了吗？你不是上次还替他们处理过数据吗？”

    “不是纯数不能帮，只是我现在这个方向他们用不上。”

    於是接下来，周牧就开始给沈嘉树解释，自己研究的黎曼 zeta函数零点问题，为什麽在现实技术中根本找不到落点。

    ……

    就在此时，燕大昌平校区，李东已经把周牧的论文读完了。

    “这个停时型 Mollifier有点意思啊。”

    李东又把论文翻到了中段，重新看向了那组核心引理。

    “嗯，不像传统的 Mollifier那样会沿着整条长和式统一修正误差。”

    “而是先按尺度拆开，哪条路径不符合条件就直接停掉。”

    “挺有灵性的。”

    要知道，在这类长和式的估计中，让某部分计算停下来，其实并不难。

    难的是，用常规的方法让它们停下来，每次都会留下损失。

    路径少的时候或许不显眼，可一旦在不同尺寸上的路径多了，这些损失就会不断的积累，最後很可能反过来压住主项，那整套证明也就失去了意义。

    所以周牧这套停时型 Mollifier就完全没有这个问题。

    它不仅规定了哪条路径该停，而且还规定了该停在哪里。

    这样损失就会减到最小，然後他还将这些损失纳入了同一个估计里，证明它们加在一起也压不过主项。

    李东又从头看了一遍，轻轻地点头。

    “不错不错，论文写的也很漂……”

    这话李东还没说完，突然意识到了一个问题。

    提前停掉已经没有希望的路径，这不正好可以用在他的思维沙盘里吗？

    思维沙盘在筛选材料路径时，也会沿着不同的元素组合与结构，不断地向下推演。

    不管这些路径在中途表现的有多差劲，只要没有证明他是错的，沙盘是不会停掉的，还会继续演算下去。

    这样会大大加重他用脑的一个程度。

    “如果现在把周牧的停时规则加进去的话……那就完全能够避免这样的情况了。”

    想到这里，李东立刻将这套规则装进了思维沙盘里。

    然後又从记忆宫殿里面，将几组推演过的材料拿了出来，将它们各自的成分、结构参数和筛选指标一起送进了思维沙盘里。

    此时，思维沙盘开始运转。

    一条条分叉路再次展开。

    不过和以往的相比，有很多的岔路，在没有延伸多远的情况下，就主动暗了下去。

    李东看着思维沙盘里的变化，嘿嘿地笑了两声。

    “果然，这东西可以用在材料上。”

    而此时，周牧还在食堂里认真地向沈嘉树解释，自己现在研究的方向，根本就没办法用到应用工程上。