第131章 对不起，这章的标题我实在想不出来了！ (第21/21页)
一桶布丁提示您：看后求收藏（天书网www.tsms517.com），接着再看更方便。
这个项目让乔喻很感兴趣，除了因为很赚钱外，更让乔喻看到了诸多可能。让人工智慧辅佐数学家对进行数学定理的证明，这著实是太抽象了。
然而这个让乔喻兴奋不已的项目，带给他的打击也是巨大的。
因为数学家在这个项目中需要做的事情是把诸多的数学定理和命题进行细致的分解，让计算机可以理解的同时，还要确保每个步骤在形式化过程中都是准确的..
再给乔喻解释这件工作该如何做的时候，舒尔茨随口举的几个例子，都让乔喻意识到他数学层面的基础知识，似乎还极为匮乏....哪怕是目前他最擅长的代数几何领域。
其基础知识的匮乏程度一度让舒尔茨都不敢相信..
「这不可能，乔喻这就是Bourbaki的完全性定理，涉及到代数几何中完全对象的性质，你难道没接触过！」
「额...最近一段时间书还没看那么多，我都是挑著看的...那个这个定理好像跟代数簇的嵌入跟结构没有关系吧？」「神呐...所以你还没系统学习过这些，然后解决了几何朗兰兹猜想？」
「也不能算解决吧？我就是改了改..」
「呼....乔喻，你是我见过最奇怪的数学生，也许....好吧，你先好好准备明天的报告！该死的，我都开始羡慕你了！真的！」真的，乔喻第一次无法肯定对方是不是在夸他..
