136 桀骜的样子最可爱 (第4/17页)

很安全，但却很拘束。科南·拉马尔就不一样，虽然我知道这个人很狡猾，有事是真不会上那种，但毕竟跟他在一起交流让人轻松。

    送走了丁老师，洗了个澡后便出门。跟科南约在了WindyCity，感谢菲尔兹奖让我在学校也有了特别待遇，只需要打个电话就会安排专车来接送。赶到餐厅时，这家伙已经点了一瓶据说是上好的红酒。但其实我更喜欢香槟，不过今天是他请客，所以我忍了。….本以为只是科南找我来只是一次普通的朋友相聚，但他却告诉了我一个很让人吃惊的事情。宁孑曾向他展示过一款很特别的智能软件，能够自主编程那种。其实听到他的描述，我觉得这软件设计出来的本意应该不是为了设计其他软件又或者游戏，而是可以辅助数学家编程才对。

    想想看吧，相对于自然语言而说，数学语言能更轻松的让机器理解。思考过后，便是失望。我早上还觉得我才是跟宁孑交流最多的人，但很显然在宁孑心中我并没有那么重要，比如我甚至都不知道有这么一款软件的存在。科南显然不是一天知道了。因为按他的说法，昨天才跟思科的总裁聊到过这个问题，也许不久之后这软件就上市。

    接下来又是关于数学方面的讨论。科南认为宁孑对于人工智能数论的研究到了一个很深的层次。好吧，他其实是想问我是不是知道宁孑在这方面是不是有了颠覆性的突破。我回答的模棱两可，这样能让我心情更舒坦些。看吧，遇到这类问题还是得找我。其实我啥都不知道。

    近期我跟宁孑交流的方向大都集中在拟正交问题，重点在于该类问题中特殊分支问题。诸如C（B）=Σe∈BC(e)这一类，但我不想跟科南·拉马尔交流这些