更进一步高度抽象的框架，涉及大量的高度抽象的代数和几何构造，以至于传统的手工验证难以保证其严格的正确性。
所以必须通过液态张量实验，利用计算机辅助的形式化证明，来验证这些构造的正确性跟一致性。
这个项目让乔喻很感兴趣，除了因为很赚钱外，更让乔喻看到了诸多可能。
让人工智能辅佐数学家对进行数学定理的证明，这着实是太抽象了。
然而这个让乔喻兴奋不已的项目，带给他的打击也是巨大的。
因为数学家在这个项目中需要做的事情是把诸多的数学定理和命题进行细致的分解，让计算机可以理解的同时，还要确保每个步骤在形式化过程中都是准确的……
再给乔喻解释这件工作该如何做的时候，舒尔茨随口举的几个例子，都让乔喻意识到他数学层面的基础知识，似乎还极为匮乏……哪怕是目前他最擅长的代数几何领域。
其基础知识的匮乏程度一度让舒尔茨都不敢相信……
“这不可能，乔喻这就是Bourbaki的完全性定理，涉及到代数几何中完全对象的性质，你难道没接触过！”
“额……最近一段时间书还没看那么多，我都是挑着看的……那个这个定理好像跟代数簇的嵌入跟结构没有关系吧？”
“神呐……所以你还没系统学习过这些，然后解决了几何朗兰兹猜想？”
“也不能算解决吧？我就是改了改……”
“呼……乔喻，你是我见过最奇怪的数学生，也许……好吧，你先好好准备明天的报告！该死的，我都开始羡慕你了！真的！”
真的，乔喻第一次无法肯定对方是不是在夸他……