一句话。
“这是我和搭档的合作成果，我们把它叫做哥德尔系统”，王一男说，
“你知道哥德尔不完全定理吗”
“知道，大概就是说一切形式系统都是不完备的吧，因为哥德尔找到一种方法，在任何形式系统中都能构造出既不能证明为真，也不能证明为假的命题“，张琪B大优等生的资历，显然不是用来唬人的。
“完全正确，简单来说，就是我们从数学上改进了哥德尔的方法，能够把它应用到现实复杂的形式系统中，这种无法确定的命题的存在，基本上跟系统本身的缺陷有直接的关系，所以，我们的算法，可以大概率的找到任何形式系统的缺陷，进而极大的减少系统的缺陷“，王一男说。
“你知道，前段时间米歌发表的深度学习系统，就是击败柯杰的那个系统，本质上也是一种形式系统“。
“所以，你们就改进了米歌的算法，用来玩撸啊撸？”
“是的，我们综合了现有的神经网络，以及传统的知识库方法，再用我们的方法进行改进，就得到了你看到的哥德尔系统”。
“撸啊撸的AI，是我们让它自我学习，自我成长的第一个案例，怎么样，表现的还不错吧”
“岂止是不错，你们组个战队，都可以去G夺冠了！”张琪心想，“要不要我来组个战队，也去世界大赛爽爽？”，张琪开始YY。
这时，传来汽车喇叭声，“滴滴滴滴”
“我的搭档到了，我们上去吧”，王一男说。