地躺在某个地方，无人问津。
而现在，在一篇来自华国的投稿论文中，阿列克谢看到有人把宝藏重新打捞了上来。
另一篇他看过的文献是布鲁德诺的。
阿列克谢太熟悉这篇了。
布鲁德诺发表的这篇论文，是人类历史上第一次对Alpha-Beta剪枝算法给出严格数学证明的文献。
没错，第一次。
后来西方学术界普遍将Alpha-Beta剪枝的理论奠基归功于克努特和穆尔的那篇经典论文，那篇论文确实写得漂亮，证明也非常完整，但严格来说，布鲁德诺才是第一人！
但由于布鲁德诺写的是俄语，发表在苏联的期刊上，铁幕之下，西方世界几乎没有人读到过，所以没人会把这个荣誉给布鲁德诺。
这就是那个年代的现实，铁幕两边的数学家们各自独立地攀登同一座山峰，东边的人先到了山顶，但西边的人不知道，后来西边的人也到了，全世界就只记住了西边。
西方的强大，也导致人们只知道西边人的成果。
阿列克谢对此谈不上愤怒，毕竟几十年过去了，他早就习惯了。
他不知道，苏联最初的坚持和理想，还会不会延续下去。
但此刻，看到这篇论文的参考文献列表，他心里确实涌上来一股很复杂的情绪。
有人记得苏联的科研人。
有人不仅记得，还真的去读了那些文献，还真的读懂了，还在此基础上做出了新的工作。
阿列克谢重新戴上眼镜，把论文从头到尾认认真真地看了一遍。
这一看就是两个小时。
他的审稿风格和凯文完全不同，凯文是那种看到障碍就倾向于绕过去的年轻人，而阿列克谢是那种非要把每一块石头都翻开看看底下有什么的老派学者。
论文的核心证明思路，他看明白了。
作者确实引用了阿杰尔松等人关于对称博弈树结构的分类定理，也引用了布鲁德诺关于剪枝深度与分支因子之间关系的基本不等式。
阿列克谢注意到一个关键细节，作者并不是在简单搬运这些旧结论。
作者在这些旧结论的基础上，构造了一组新的不等式，通过引入一个被他称为“状态空间压缩算子”的新概念，将原本只适用于完全对称博弈树的剪枝界推广到了一类更广泛的准对称结构上。
阿列克谢反复验算了核心定理的证明，发现逻辑链条是完整的，每一步
…。。