第121章 肯定是对面给的太多了！ (第18/20页)
一桶布丁提示您：看后求收藏（天书网www.tsms517.com），接着再看更方便。
同时大家还会讨论一些近期研究工作中遇到的一些问题。当然也不是一定需要别人能给出解答，大家就是一起聊聊，看能不能提出一些建设意见。
这块聊著聊著，又会转到某位不在场教授的研究成果，就这样不停循环..
总之这种交流更加轻松，而且涉猎面更广，如果正好碰到感兴趣的话题，的确是能获得不少启发。对于乔喻来说，最大的收获大概是短短一个多小时，乔喻的大脑里就多了好几位还没见过的教授名字，以及他们最近在做的项目跟成果。
从这一点就能看出这些数学家们私底下交流还是很多的，那些教授人都不在现场，但他们的工作进展现场许多教授似乎都了如指掌，其中也包括了彼得·舒尔茨。
比如他就从埃尔顿教授口中得知，彼得·舒尔茨最近在跟微软研究院的计算机学家凯文·布扎德合作，忙于做「液态张量实验」。一个新的名词，不过经过教授们的解释，乔喻大概明白了就是通过电脑辅助的形式化来验证数学理论的正确性。
更具体些就是布扎德的团队开发了一款名为Lean的互动式定理证明助手，邀请彼得·舒尔茨合作，具体工作就是将复杂的数学理论转化为可由Lean验证的形式。
这涉及到对多个数学定理和命题进行细致的分解，还要确保每个步骤在形式化过程中都是准确的。
乔喻觉得这是个吃力不讨好的工作，毕竟这项工作一听就需要耗费无数的时间跟精力。不过考虑到合作方是微软，乔喻又觉得能理解了...
一定是微软给的太多了！
除此之外乔喻甚至还听这些教授们说了许多数学界的秘辛，当然也不知道算不算秘辛。比如某位大佬的某些小怪..
