其实上次他就验过，不过他选择了快速闪人了，没有留来跟教授们详细讨论。但今天不同，他跟田言真一起留来加了众多教授的讨论，甚至还跟几位邀请来的外籍教授以及袁老这边的华清教授们一起吃了顿饭。

同时大家还会讨论一些近期研究工作中遇到的一些问题。当然也不是一定需要别人能给解答，大家就是一起聊聊，看能不能提一些建设意见。

总之这更加轻松，而且涉猎面更广，如果正好碰到兴趣的话题，的确是能获得不少启发。对于乔喻来说，最大的收获大概是短短一个多小时，乔喻的大脑里就多了好几位还没见过的教授名字，以及他们最近在的项目跟成果。

就好像我学习了你们团队的论文一样，有直觉觉证明过程可能无法包所有况。然后也是思考了很久才在埃尔顿教授的启发，突然有了灵。”

这涉及到对多个数学定理和命题行细致的分解，还要确保每个步骤在形式化过程中都是准确的。

除此之外乔喻甚至还听这些教授们说了许多数学界的秘辛，当然也不知算不算秘辛。

乔喻也终于有机会跟这些数学界的大教授们更的。

一定是微给的太多了！

乔喻觉得这是个吃力不讨好的工作，毕竟这项工作一听就需要耗费无数的时间跟力。不过考虑到合作方是微，乔喻又觉得能理解了……

一定是个好的结果，这个工一定存在，只是还在酝酿之中。谢谢大家！”

除了跟教授们的沟通之外，他还忙于观察华清的教授们跟田导的互动。

从这一就能看这些数学家们私底还是很多的，那些教授人都不在现场，但他们的工作展现场许多教授似乎都了如指掌，其中也包括了彼得·舒尔茨。

跟讲座上的提问极有针对完全不一样，会议后大家不是提问还是回答其实都很随意和发散。比如聊着聊着就会针对某位教授最近提的一些想法跟观行评价跟分析，有认可的，也有不屑的。

好在田导跟袁老之间并没有什么直接，偶尔神对上，也会快速移开，这也让乔喻松了气。

“乔喻，你可以把你的解决思路说说吗？”

总之乔喻一直秉持着学术方面的问题，大胆发表看法，至于数学界的一些新闻，他当故事听，绝对不开评价……

大佬之间的事，他知什么？他什么都不知啊！

乔喻脆的摇了摇说：“很抱歉，潘教授，现阶段真的就只是一个很空的想法，能说的我都说了。你知的，那就是一很纯粹的数学直觉……

更些就是布扎德的团队开发了一款名为lean的互动式定理证明助手，邀请彼得·舒尔茨合作，工作就是将复杂的数学理论转化为可由lean验证的形式。

本章尚未读完,请击一页继续阅读---->>>

还有人私底问他田导跟袁老的事，不过都被乔喻打着哈哈，绕过去了……

最终烈的掌声还是响了起来。

然后乔喻认真的保证：“当然，如果我真的有了办法，一定第一时间向你汇报。”

……

比如他就从埃尔顿教授中得知，彼得·舒尔茨最近在跟微研究院的计算机学家凯文·布扎德合作，忙于“态张量实验”。一个新的名词，不过经过教授们的解释，乔喻大概明白了就是通过电脑辅助的形式化来验证数学理论的正确。

从一些小细节就能看某某跟某某的关系如何。

说完，乔喻微微鞠躬，但台没有响起本该响起的烈掌声，零散几声也在潘敬元开后，消失了。

这块聊着聊着，又会转到某位不在场教授的研究成果，就这样不停循环……

最开始有人试探着跟田导聊了几句，发现袁老似乎并没有表现明显不悦之后，越来越多的人开始跟田导……

接来发生的一切乔喻也大概明白了，都是在会议之后的意思。

比如某位大佬的某些小怪癖……