手，邀请彼得·舒尔茨合作，具体工作就是将复杂的数学理论转化为可由Lean验证的形式
这涉及到对多个数学定理和命题进行细致的分解，还要确保每个步骤在形式化过程中都是准确的
乔喻觉得这是个吃力不讨好的工作，毕竟这项工作一听就需要耗费无数的时间跟精力不过考虑到合作方是微软，乔喻又觉得能理解了
一定是微软给的太多了！
除此之外乔喻甚至还听这些教授们说了许多数学界的秘辛，当然也不知道算不算秘辛比如某位大佬的某些小怪
还有人私底下问他田导跟袁老的事情，不过都被乔喻打著哈哈，绕过去了..大佬之间的事情，他知道什么？他什么都不知道啊！
总之乔喻一直秉持著学术方面的问题，大胆发表看法，至于数学界的一些新闻，他当故事听，绝对不开口评价...除了跟教授们的沟通之外，他还忙于观察华清的教授们跟田导的互动
最开始有人试探著跟田导聊了几句，发现袁老似乎并没有表现明显不悦之后，越来越多的人开始跟田导交流...好在田导跟袁老之间并没有什么直接交流，偶尔眼神对上，也会快速移开，这也让乔喻松了口气
虽然他自问一直对两位大佬都是坦诚相待，但喜欢两边起舞的人，还是不太希望两位大佬没事儿就坐在一起对对帐的毕竟再聪明的大脑，也不可能随时都注意每一个细节
就这样保持若即若离的态度，挺好的
华清跟燕北两个研究中心以后多点合作交流，两位大佬还是各自在各自的地盘呆著就挺好
脑子里正快速盘算各种念头的乔喻忘了一件事，那便是网络时代每个人都是网络组成的一份子，教授们也无一例外
刚刚他光顾著看华清教授们的表情去了，天知道现场多少教授，偷偷摸摸的拿出手机把袁正心跟田言真同框的照片拍了下来
是的，可不光是华清的教授这么干，燕北的教授一样在这么干毕竟对于华夏数学界来说，这绝对是个大事，天大的事
原本大家都以为这两位大佬这辈子大概是老死不相往来了，谁能想到田言真突然就出现在了华清逸夫馆的世纪报告厅里，还跟袁正心面对面的站在了一起
乔喻只是觉得有趣，但在其他人看来这可是瓜，大瓜，数学界的惊天大瓜
所以真不能怪他的专题讲座开始时，后排很多教授都低著头在搞小动作，其实大家都在把这个消息通过各自的渠道散播出去
当然，所有那些同框的照片，不管从哪个角度，只要是有田言真跟袁正心的正脸，那必然都有乔喻的正脸因为他之前是跟田言真站在一起，之后是跟袁正心站在一起
吃饭的时候他又干脆坐在两人中间的位置，曝光率直接拉满