“中午听你们说朗什么纲领，那是数学领域吧？我一直没明白，是什么原理，学这个纲有什么用处？”小微问。
西西解释道，“像这个假如说我们需要解方程y2x3+6x+3。这个解不是实或复的，而是有限域zpz中的元素，这里p是一个素数。也就是说，你在寻找在整数集合{0，1，，p?1}中的元素，当你将它们带入时，左边与右边只差p的一个整数倍——我们称这个方程在“模p“意义下成立。“
“2000多年前诞生的毕达哥拉斯定理说：在一个直角三角形中，斜边的平方等于两个直角边的平方之和。即x2+y2z2。公元1637年前后，当费马在研究毕达哥拉斯方程时，他在《算术》这靠近问题8的页边处写下了这段文字：“设n是大于2的正整数，则不定方程xn+ynzn没有非整数解，对此，我确信已发现一个美妙的证法，但这里的空白太小，写不下。”费马习惯在页边写下猜想，费马大定理是其中困扰数学家们时间最长的，所以被称为ferat'ssttheore（费马最后的定理）——公认为有史以来最著名的数学猜想。358年来，费马大定理证明者们饱受打击欧拉，高斯，柯西，伽罗瓦，因为根据哥德尔不完备定理参见文库文章，只在数论理论中，费马大定理是不可证明的。20世纪50年代由两位日本数学家（谷山丰和志村五郎）提出的谷山—志村猜想暗示：椭圆方程与模形式两个截然不同的数学岛屿间隐藏着一座沟通的桥梁前者是具有深刻算术性质的几何对象，后者是来源于截然不同的数学分析领域的高度周期性的函数。随后在1984年，德国数学家格哈德?费赖给出了如下猜想：假如谷山—志村猜想成立，则费马大定理为真。这个猜想紧接着在1986年被肯?里贝特证明。1993-94年，安德鲁?维尔斯在研究椭圆曲线理论中，证明“每一个椭圆方程都可以模形式化“谷山—志村猜想，也就证明了费马大定理并给了朗兰兹纲领重大支持洛朗?拉佛阁在数论中把朗兰兹纲领研究从局部推向整体，运用分析法证明了与函数域情形相应的整体朗兰兹纲领。”
“太复杂了，听不懂。你假定我们是小孩，简单的说说吧。”小微有些晕了。
“如果太简单，就不值得人们去研究了。”西西回答。
“它到底有什么用处，值得花几年去学它？”
“人类研究它实际上已经研究了一千多年。它的应用可以到很多实践领域。“西西说，如果我用来管理一个巨形的虚拟网络，就可以用群来建模，用很多子群里管理。也可以利用引入l-函数来作几何分析，管理能力和预测分析能力就得到提高。比如网络的恐怖组织活动跟综分析。你可以利用特征函数发现意想不到的行为相关联。“
“哦，”小微听得似懂非懂。“你学它可以进行网络管理。”
“我的方向是机器人思维分析，用它作为工具之一研究智能机器之间的思考和交流，如果你有一块智能手表，我要设法和它进行交谈。“
“机器的思维和语言是与人类不同的。按照人类的交流方式效率太低，不易于快速思考。”
这些话听得小微和刘霖目瞪口呆。
“你已经开始研究了吗？你申请了研究资金没有？“小微问道。
“上个月就已经开始，现在进行到第六周了。”西西说道，“我不需要申请资金，我用自己的公司的资金。”
“你的公司？天啦！你有多少钱现在？”
“我现在有230万现金。去年我买下了一个旧的教育基金名称和账户，写了一些软件在互联网上卖，很多公司和个人都买我的软件。有一个电脑游戏叫卡卡爸，就是我写的，卖了54万给一个公司。以后还能利益分成。”
“这个游戏我玩过。”刘霖说。
“下个星期二，腾讯公司的机器人嘉年华已经邀请我去参加。”西西说道，“我现在正准备设法说服腾讯公司，来支持我在其它机器人上用我的机器人沟通软件。我还要找华为，准备设计一些通讯硬件来适应我的机器人沟通程序。如果能得到腾讯公司的支持，我把这个项目以公司的名字命名为腾讯卡卡。如果得不到他们的支持，，，”
西西想了一想，“我自己去说服那些机器人。”