《墨家科技》第八十章不对

    幕布上
    在各位教授讨论的时候，人工智能god已经开始了霍奇猜想的讲解。
    随着一行行算式划过，台下坐着的教授终于认真起来了。
    “请送一份笔记本和笔过来，我需要验证一下。”会场里到处响着与之类似的声音。
    然后就看到麻省理工的助教不停的从幕后将纸笔送到每一个教授的手里，最后查尔斯校长干脆发话，直接给每一个人发一份纸笔，也免得走来走去影响到报告会。
    与此同时，人工智能god为了方便大家进行验算，它每一页都会停留个几分钟，这些时间对于在场的大多数数学家来说，足够了，至于那些少部分数学家不懂就不懂吧，它也管不了这么多了。
    台下，西盟座位区的霍普金斯教授在将god显示出来的算式验算一遍后，眼神里露出一丝不可置信。
    “这种方法，居然还可以用这种方法，这种方法为什么我们没有想到。”
    “该死，彼得居然没有用到数闭链的几何部件的有理线性组合，这说明他是根据自己的想法证明的霍奇猜想，如果霍奇猜想真的被他证明的话。”旁边的教授放下手里的笔，对霍普金斯教授说道。
    “是的，如果霍奇猜想真的被他证明的话，我们研究室这么多年的研究成果就打水漂了。”霍普金斯教授叹了口气。
    他旁边的几人都沉默了下来。
    与此同时，坐在会场另一边的终南大学严教授和北大的曾教授也开始了自己的验算。
    虽然两位教授年事已高，但是带着老花眼镜的他还是用笔在自己的纸上写下一行行数学公式。
    坐在严教授旁边的鲁班，因为年轻视力好，他已经完成了这一阶段的验算，趁着还有时间，他也是帮着两位老教授将算式数据抄录下来，让他们进行验算。
    两位教授的学识本就不差，只是因为看不清幕布上的数字这才验算的较慢，现在有鲁班的协助，自然很快就验算了出来。
    “根据我的验算，如果霍奇猜想对于度数p的霍奇类成立，其中p<n，n是上述射影代数簇的维数，那么对于度数为2n-p的霍奇类也是成立的。”放下了手里的笔，严教授点了点头。
    “是啊，这霍奇猜想的第一算式已经基本成立了，现在就看后面的彼得还能不能证明了，当然也要看人工智能的讲解好不好吧”北大曾教授点头道。
    “对了，小鲁有什么看法”一旁的严教授见鲁班不发一言，于是就问了他一句。
    鲁班回答道：“利用线性代数极小多项式与另外一个定理Hamilton-Cayley来解决霍奇猜想的第一算式彼得果然是天纵奇才。”
    停顿了片刻，他仿佛是猜到了教授问他这个问题的原因，又道：“各位教授不用担心我，别说彼得的证明方法还没有全部出来，就是他证明方法完全正确，我也不会被打击到的。”
    “哈哈，小鲁你这么说我们就放心了”严教授拍了拍鲁班的背。
    北大曾教授也道：“小鲁你比这个彼得年轻不少，而且某种意义上他是理论科学家，而你是应用型科学家，他得名，你得利，二者相辅相成啊。”
    在诸多数学家的讨论之中，god放出的证明算式与数据被大家一项项的通过验证。
    台上站在一旁的彼得嘴角露出一丝微笑，到现在为止，霍奇猜想的证明已经通过了三分之一了，在场的人都没有提出反对的意见。
    这是一个好现象。
    “等一下，我有一个问题想要问下”终于在第三公式的时候鲁班发现了这个算式有点不太对劲，但是他又看不出这个不太对劲在哪里，于是他举手示意提出了自己的疑问。
    彼得自己不认识鲁班掌握网络大数据的人工智能god可是认识他的，于是屏幕上的机械脸露出一丝笑容，“来自夏国的鲁班学者，您有什么疑问吗？”
    坐在鲁班旁边的严教授和曾教授不约而同的拉了一下鲁班的衣袖，想把他拉下来，因为两位老教授经过验算觉得这行算式是可以通过的，所以他们不想鲁班当众出丑。
    不过鲁班却是很执着的发出了自己疑问：“大家都知道霍奇猜想是广义相对论和量子力学融合的m理论几何拓扑方面的载体和工具之一，那么请问D(x)=[∑(i=1->n)$(xi)²]/n-(Ex)²^(3)这段证明算式是不是有点问题。”
    台上人工智能彼得的头上右上角出现一个大写的问号，但它却没有正面回答鲁班的疑问，看它的样子，显然是在进行深度验算，看来鲁班的提问应该是有点难度，god也需要重新验算才行。
    见此场景，彼得连忙出来救场，“好的，感谢夏国学者鲁班提出的疑问，现在我们的解说员god正在进行紧张的重新验算，所以由我来客串临时解说员。”