主题：【原创】中美与欧盟的恩怨 之一 -- 流川

而且证明的是不等于。也就是说可以被用多项式级复杂度计算验证的问题不一定可以被多项式级复杂度计算解决。

就是说最近出的论文是证明其不等价，也就是说证明很多问题按照现在的计算手段无法找到多项式的解决办法。而且话说回来，就算有些东西可能有多项式级的解，人也未必就能找到。

事实上现在机器学习，说到底还是靠搞概率模型。但是其实这个东西远没有抓住事物的本质，不过是模拟罢了，大部分时候还是简单的问题做的好些，真要到了复杂一点或者精细一点的，效果还是不行。数学上描述问题解决问题的理论和手段没有突破，这个东西的上升空间就是可以看见的。不过话说回来，理论突破不大不代表实际应用空间不大。这方面现在其实可以做的实际应用应该还是不少。