“只要是需要人去验证的逻辑链，就叫复核。”江临看着尹航，“证明写出来，就是给别人复核的。

如果你的解答只有你自己懂，那不叫数学证明，那叫私人日记。”

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

复核这个词，他太熟了。

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

“科研不是你自己觉得数据好看就行。

你要把你的实验条件，你的误差分析，你的数据处理流程清清楚楚地写在paper里，让大洋彼岸另一个素不相识的同行，能在他自己的实验室里，在合理的时间内把你的结果复核出来。

不能复核的东西，就是伪科学。”

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

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

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

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

“太好了，这样就干净多了。

我之前的问题是历史包袱太重，跟背着一座山似的。”

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

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

最小充分状态？

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

先找状态，再找边界。

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

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

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

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

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

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

这不就是先天科研圣体吗？
本章已完成！