而这个结果让他更加恼火了。

“这不可能，怎么可能一点要补充的都没有。”

他对着屏幕喃喃自语，手里的红笔在纸上某个公式旁边画了一个又大又粗的问号，然后把笔重重地拍在了桌上。

就在这个时候，办公室的门被敲响了。

他的助手安德森推门进来，手里举着平板电脑，表情有些微妙。

“斯特雷卡教授，肖宿那边有回复了。”

听到这话，斯特雷卡猛地从椅子上站了起来，椅子往后滑出去半米远，撞到身后的书架发出一声闷响。

他把手里的红笔往桌上一扔，声音都拔高了，激动的大声说道：

“哈！我就知道！没有人能在这种级别的公开质疑面前保持沉默，哪怕是肖宿也不行，他终于坐不住了，要来跟我辩论了！

安德森，快，把回复投影到大屏幕上，我倒要看看他怎么解释那些不可复现的数据的。

我研究了他两周的论文，已经把底都摸透了，这次绝对不会再给他混过去的机会。”

安德森站在门口，表情有些尴尬，握着平板的手指都开始微微收紧。

“教授……回复您的不是肖宿本人，是肖宿的三个博士生。”

斯特雷卡的笑容僵在脸上，他一把抓过平板，手指在屏幕上快速划了几下，点开了《数学纪元》最新一期的页面。

论文的标题在屏幕上展开，他的目光从头扫到尾，越扫越快，脸色也越来越难看。

论文从matsym的基函数族预设偏差开始写起，斯特雷卡一直宣称matsym是“完全透明”的符号回归架构，但是肖宿的这几个学生用数学严格证明了他在论文中根本没有公开他的符号回归引擎在搜索时预设的基函数族范围，而这个预设范围恰恰是matsym所有预测结果的前提条件。

换句话说，matsym的所谓“透明”，只是外壳透明，内核的搜索空间本身就是一个比黑箱更深层的黑箱。

紧接着是搜索空间的隐式约束。

斯特雷卡声称matsym可以在开放空间里做逆向设计，但是论文用三页的篇幅证明了matsym的贝叶斯优化元控制器实际上预设了一组非常强的先验假设，这些先验假设把搜索空间从“开放”压缩到了“已知方向附近的一个窄带”。

也就是说，matsym能搜出来的最优解，根本就不是全局最优解，而是工程师在设计之初就已经猜到的那个方向上的局部最优解。

这和商空间降维框架在真正开放的高维空间里直接求解全局最优解，在数学层级上差了一个维度。

然后就是数值对比。

论文附了一组在同数据规模下matsym和商空间降维框架的预测精度对比，结果一目了然：matsym的预测精度和商空间降维差了整整两个数量级。

这组数据是周方圆用他们在天河超算上重新跑过的仿真结果做出来的，每一个数据点都标注了具体的计算条件和误差范围，没有任何模棱两可的空间。

他盯着屏幕上那组对比数据看了很久。

那两个数量级的差距像一根刺，不偏不倚地扎在他最不想被人看到的地方。