123.第123章 肯定是对面给的太多了！

r />\n

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

\n

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

\n

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

\n

一定是微软给的太多了！

\n

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

\n

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

\n

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

\n

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

\n

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

\n

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

\n

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

\n

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

\n

虽然他自问一直对两位大佬都是坦诚相待，但喜欢两边起舞的人，还是不太希望两位大佬没事儿就坐在一起对对账的。毕竟再聪明的大脑，也不可能随时都注意每一个细节。

\n

就这样保持若即

本章未完，请点击下一页继续阅读！ 第18页 / 共19页