何形式系统中都能构造出既不能证明为真，也不能证明为假的命题“，张琪B大优等生的资历，显然不是用来唬人的。

  “完全正确，简单来说，就是我们从数学上改进了哥德尔的方法，能够把它应用到现实复杂的形式系统中，这种无法确定的命题的存在，基本上跟系统本身的缺陷有直接的关系，所以，我们的算法，可以大概率的找到任何形式系统的缺陷，进而极大的减少系统的缺陷“，王一男说。

  “你知道，前段时间米歌发表的深度学习系统，就是击败柯杰的那个系统，本质上也是一种形式系统“。

  “所以，你们就改进了米歌的算法，用来玩撸啊撸？”

  “是的，我们综合了现有的神经网络，以及传统的知识库方法，再用我们的方法进行改进，就得到了你看到的哥德尔系统”。

  “撸啊撸的AI，是我们让它自我学习，自我成长的第一个案例，怎么样，表现的还不错吧”

  “岂止是不错，你们组个战队，都可以去WCG夺冠了！”张琪心想，“要不要我来组个战队，也去世界大赛爽爽？”，张琪开始YY。

  这时，传来汽车喇叭声，“滴滴滴滴”

  “我的搭档到了，我们上去吧”，王一男说。