“数学竞赛也叫复核？”

    “只要是需要人去验证的逻辑链，就叫复核。”江临看着尹航，“证明写出来，就是给别人复核的。如果你的解答只有你自己懂，那不叫数学证明，那叫私人日记。”

    一旁的孟澈听得是直点头。

    复核这个词，他太熟了。

    老板在组会上不知道骂过他们多少次类似的话。

    “科研不是你自己觉得数据好看就行。你要把你的实验条件，你的误差分析，你的数据处理流程清清楚楚地写在Paper里，让大洋彼岸另一个素不相识的同行，能在他自己的实验室里，在合理的时间内把你的结果复核出来。不能复核的东西，就是伪科学。”

    数学竞赛显然也是一样的逻辑。

    会做，只是第一步，最多算自己通过了。

    能写成让挑剔的评审在有限时间内稳定复核的证明，才算真正完成。

    已经想通透了的姚思雨，把草稿纸上那一大片旧的递推公式用力划掉，长舒了一口气，整个人都放松了下来。

    “太好了，这样就干净多了。我之前的问题是历史包袱太重，跟背着一座山似的。”

    江临点点头：“状态里当然只需保留影响未来的最小信息，因为多一丝都是累赘。”

    “这不就是最小充分状态嘛。”尹航喃喃自语。

    最小充分状态？

    一旁笑眯眯的孟澈忽然捕捉到了关键词。

    先找状态，再找边界。

    最后判断，哪些信息是必须保留的承重墙，哪些信息只是花里胡哨的壁纸和噪声。

    这是一种拆解世间一切复杂系统的底层方法论。

    不是一个能在单纯的数学竞赛题集里学到的漂亮说法。

    可比会做题的天才厉害多了。

    联想到这位才读高三的小师弟，一出山就帮大家解决了数据漂移的问题。

    孟澈脑子里冒出一个不太严肃的念头。

    这不就是先天科研圣体吗？