题“，张琪B大优等生的资历，显然不是用来唬人的。

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

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

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

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

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

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

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

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