第446章 非是真火（1 / 2）
而这个结果让他更加恼火了。
“这不可能，怎么可能一点要补充的都没有。”
他对著屏幕喃喃自语，手里的红笔在纸上某个公式旁边画了一个又大又粗的问號，然后把笔重重地拍在了桌上。
就在这个时候，办公室的门被敲响了。
他的助手安德森推门进来，手里举著平板电脑，表情有些微妙。
“斯特雷卡教授，肖宿那边有回覆了。”
听到这话，斯特雷卡猛地从椅子上站了起来，椅子往后滑出去半米远，撞到身后的书架发出一声闷响。
他把手里的红笔往桌上一扔，声音都拔高了，激动的大声说道：
“哈！我就知道！没有人能在这种级別的公开质疑面前保持沉默，哪怕是肖宿也不行，他终於坐不住了，要来跟我辩论了！
安德森，快，把回復投影到大屏幕上，我倒要看看他怎么解释那些不可復现的数据的。
我研究了他两周的论文，已经把底都摸透了，这次绝对不会再给他混过去的机会。”
安德森站在门口，表情有些尷尬，握著平板的手指都开始微微收紧。
“教授……回復您的不是肖宿本人，是肖宿的三个博士生。”
斯特雷卡的笑容僵在脸上，他一把抓过平板，手指在屏幕上快速划了几下，点开了《数学纪元》最新一期的页面。
论文的標题在屏幕上展开，他的目光从头扫到尾，越扫越快，脸色也越来越难看。
论文从matsym的基函数族预设偏差开始写起，斯特雷卡一直宣称matsym是“完全透明”的符號回归架构，但是肖宿的这几个学生用数学严格证明了他在论文中根本没有公开他的符號回归引擎在搜索时预设的基函数族范围，而这个预设范围恰恰是matsym所有预测结果的前提条件。
换句话说，matsym的所谓“透明”，只是外壳透明，內核的搜索空间本身就是一个比黑箱更深层的黑箱。
紧接著是搜索空间的隱式约束。
斯特雷卡声称matsym可以在开放空间里做逆向设计，但是论文用三页的篇幅证明了matsym的贝叶斯优化元控制器实际上预设了一组非常强的先验假设，这些先验假设把搜索空间从“开放”压缩到了“已知方向附近的一个窄带”。
也就是说，matsym能搜出来的最优解，根本就不是全局最优解，而是工程师在设计之初就已经猜到的那个方向上的局部最优解。
这和商空间降维框架在真正开放的高维空间里直接求解全局最优解，在数学层级上差了一个维度。
然后就是数值对比。
论文附了一组在同数据规模下matsym和商空间降维框架的预测精度对比，结果一目了然：matsym的预测精度和商空间降维差了整整两个数量级。
这组数据是周方圆用他们在天河超算上重新跑过的仿真结果做出来的，每一个数据点都標註了具体的计算条件和误差范围，没有任何模稜两可的空间。
他盯著屏幕上那组对比数据看了很久。
那两个数量级的差距像一根刺，不偏不倚地扎在他最不想被人看到的地方。
他当然知道matsym的问题在哪里，基函数族的预设范围是他亲手定的，贝叶斯优化的先验假设也是他亲手调的。
当初做这套架构的时候，本来就不是为了学术，只是一个噱头罢了，他比谁都清楚它在开放空间里的搜索能力有多受限。
但是那是可以慢慢改进的，只要给他足够的时间和经费，他有信心把那些窟窿一个一个补上。
他没想到的是，肖宿的学生竟然能在这么短的时间內，用这么干净利落的方式，把他藏在架构底层、连他自己都还没来得及想好怎么修补的那些缺陷，一条一条地剥开、摊平、摆在纸面上，连一丝遮掩的余地都没给他留。 ↑返回顶部↑
“这不可能，怎么可能一点要补充的都没有。”
他对著屏幕喃喃自语，手里的红笔在纸上某个公式旁边画了一个又大又粗的问號，然后把笔重重地拍在了桌上。
就在这个时候，办公室的门被敲响了。
他的助手安德森推门进来，手里举著平板电脑，表情有些微妙。
“斯特雷卡教授，肖宿那边有回覆了。”
听到这话，斯特雷卡猛地从椅子上站了起来，椅子往后滑出去半米远，撞到身后的书架发出一声闷响。
他把手里的红笔往桌上一扔，声音都拔高了，激动的大声说道：
“哈！我就知道！没有人能在这种级別的公开质疑面前保持沉默，哪怕是肖宿也不行，他终於坐不住了，要来跟我辩论了！
安德森，快，把回復投影到大屏幕上，我倒要看看他怎么解释那些不可復现的数据的。
我研究了他两周的论文，已经把底都摸透了，这次绝对不会再给他混过去的机会。”
安德森站在门口，表情有些尷尬，握著平板的手指都开始微微收紧。
“教授……回復您的不是肖宿本人，是肖宿的三个博士生。”
斯特雷卡的笑容僵在脸上，他一把抓过平板，手指在屏幕上快速划了几下，点开了《数学纪元》最新一期的页面。
论文的標题在屏幕上展开，他的目光从头扫到尾，越扫越快，脸色也越来越难看。
论文从matsym的基函数族预设偏差开始写起，斯特雷卡一直宣称matsym是“完全透明”的符號回归架构，但是肖宿的这几个学生用数学严格证明了他在论文中根本没有公开他的符號回归引擎在搜索时预设的基函数族范围，而这个预设范围恰恰是matsym所有预测结果的前提条件。
换句话说，matsym的所谓“透明”，只是外壳透明，內核的搜索空间本身就是一个比黑箱更深层的黑箱。
紧接著是搜索空间的隱式约束。
斯特雷卡声称matsym可以在开放空间里做逆向设计，但是论文用三页的篇幅证明了matsym的贝叶斯优化元控制器实际上预设了一组非常强的先验假设，这些先验假设把搜索空间从“开放”压缩到了“已知方向附近的一个窄带”。
也就是说，matsym能搜出来的最优解，根本就不是全局最优解，而是工程师在设计之初就已经猜到的那个方向上的局部最优解。
这和商空间降维框架在真正开放的高维空间里直接求解全局最优解，在数学层级上差了一个维度。
然后就是数值对比。
论文附了一组在同数据规模下matsym和商空间降维框架的预测精度对比，结果一目了然：matsym的预测精度和商空间降维差了整整两个数量级。
这组数据是周方圆用他们在天河超算上重新跑过的仿真结果做出来的，每一个数据点都標註了具体的计算条件和误差范围，没有任何模稜两可的空间。
他盯著屏幕上那组对比数据看了很久。
那两个数量级的差距像一根刺，不偏不倚地扎在他最不想被人看到的地方。
他当然知道matsym的问题在哪里，基函数族的预设范围是他亲手定的，贝叶斯优化的先验假设也是他亲手调的。
当初做这套架构的时候，本来就不是为了学术，只是一个噱头罢了，他比谁都清楚它在开放空间里的搜索能力有多受限。
但是那是可以慢慢改进的，只要给他足够的时间和经费，他有信心把那些窟窿一个一个补上。
他没想到的是，肖宿的学生竟然能在这么短的时间內，用这么干净利落的方式，把他藏在架构底层、连他自己都还没来得及想好怎么修补的那些缺陷，一条一条地剥开、摊平、摆在纸面上，连一丝遮掩的余地都没给他留。 ↑返回顶部↑