陷有直接的关系，所以，我们的算法，可以大概率的找到任何形式系统的缺陷，进而极大的减少系统的缺陷“，王一男说。

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

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

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

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

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

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

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