理论的问题，也包含了现在舒尔茨正在做的事情。这次交谈也让乔喻大开眼界，得知了许多关于舒尔茨最近研究的第一手信息，也就是液态张量实验的具体信息。

针对这一项目，舒尔茨提出了液体同调理论。

简单来说就是藉助完备空间，构造一个更进一步高度抽象的框架，涉及大量的高度抽象的代数和几何构造，以至于传统的手工验证难以保证其严格的正确性。所以必须通过液态张量实验，利用计算机辅助的形式化证明，来验证这些构造的正确性跟一致性。

这个项目让乔喻很感兴趣，除了因为很赚钱外，更让乔喻看到了诸多可能。让人工智慧辅佐数学家对进行数学定理的证明，这著实是太抽象了。

然而这个让乔喻兴奋不已的项目，带给他的打击也是巨大的。

因为数学家在这个项目中需要做的事情是把诸多的数学定理和命题进行细致的分解，让计算机可以理解的同时，还要确保每个步骤在形式化过程中都是准确的..

再给乔喻解释这件工作该如何做的时候，舒尔茨随口举的几个例子，都让乔喻意识到他数学层面的基础知识，似乎还极为匮乏....哪怕是目前他最擅长的代数几何领域。

其基础知识的匮乏程度一度让舒尔茨都不敢相信..

「这不可能，乔喻这就是Bourbaki的完全性定理，涉及到代数几何中完全对象的性质，你难道没接触过！」

「额...最近一段时间书还没看那么多，我都是挑著看的...那个这个定理好像跟代数簇的嵌入跟结构没有关系吧？」「神呐...所以你还没系统学习过这些，然后解决了几何朗兰兹猜想？」

「也不能算解决吧？我就是改了改..」

「呼....乔喻，你是我见过最奇怪的数学生，也许....好吧，你先好好准备明天的报告！该死的，我都开始羡慕你了！真的！」真的，乔喻第一次无法肯定对方是不是在夸他..

第2/2页)

很夸张的语气，但让张树文一时间竟然不知道该怎么回答。

虽然他跟乔喻有过一面之缘，但说实话，他那天好像没有说过这句话。

不过鉴于他那天说的事情，乔喻同样完成的很好，所以张树文甚至有些不太确定，他到底有没有跟乔喻说过这些。「如果你这句话让田教授听到，他会很不开心的。」对于洛特·杜根的调侃，张树文随口回了句。

好吧，跟潘敬元一样，他的好奇心也被吊起来了。

这个