陶哲轩意味深长的笑着说道。
舒尔茨则是微微摇头，“他那篇论文的确很有意思，但还缺少太多东西，想要通过数学模型去预测材料特性，光凭他那一篇论文可不够。”
“如果使用量子计算机去验证他的模型呢？”
陶哲轩喃喃自语的说道，“人力有时穷，但计算机的算力，理论上是没有上限的，通过计算机去跑他的模型，就能得到无数可用的材料结构，然后选取有用的结构通过实验验证……”
他和舒尔茨都是将计算机引入数学证明的拥护者和推广者，想到这一点是自然而然的事情。
“英雄所见略同，这也是我来到这里的原因！”
舒尔茨看向陶哲轩，有种惺惺相惜的感觉。
是的，他们这次来到这里，并非完全是为了朗兰兹纲领和杨米尔斯方程的证明。
朗兰兹纲领的证明他们已经看过了，基本可以认定论文没有问题，即便对其中细节感兴趣，或许也可以不用特意在圣诞节，抛下家人跑这一趟。
至于杨米尔斯方程存在性的证明，他们并不是很认同，虽然他们还没有找到其中的问题所在，但出于数学家的直觉，他们感觉到了证明过程中的漏洞，自然更不会为了这个特意跑这一趟。
或许连他们自己都没察觉到，他们来这里，更多是为了一个小家伙的，不起眼的三十分钟报告会。
内容未完，下一页继续阅读