请。

一方面是田言真跟袁正心都不建议他近期再国。正巧乔喻自己也懒得再去。

说实话这次费城之行虽然他全程不是在车上就是在酒店里，不过这一路上的风景还真让他对国外的城市失去了兴趣。

外有的华夏都有，而且明显还更好。至于那些华夏没有的东西，乔喻也不太喜。

比如酒店房间里每隔一会就能听到刺耳的警笛声，也不知是费城的警察叔叔太敬业又或者其他什么原因。

至于国的邀请，其实耽误不了多少时间。华夏铁通太发达了。最重要的是，铁上也有网络。手机一开，商务舱里也可以正常办公。

“放心吧，舒尔茨教授。相信我，这次报告会开完之后，我的时间很多的。我跟其他人不一样，田导也说了，我应该把更多的力放在学业上，而不是到讲座。

所以半年我主要就忙一些博士论文跟答辩的事。你可以理解为走个过场，所以接来半年我会有很多时间。这次我能保证。”

乔喻真意切的说。

彼得·舒尔茨目前看来还厚的，众所周知，乔喻对厚人其实一直都不错的。还是那句话，同行厚人越多他越好混。

只是彼得·舒尔茨还是摇了摇，意兴阑珊的说：“也不用这么上心，这次回去之后我打算重新审视这个项目的必要，我会跟团队的人讨论之后再决定这个项目是否需要继续。”

这句话让乔喻愣住了，诧异：“放弃了？为什么？你研究这个项目好多年了啊，这个时候放弃了你不觉得可惜吗？”

彼得·舒尔茨洒然：“其实没什么好可惜的。你的广义模态公理系在拓展之后，其实也能实现那些功能，说不定还你能实现得更好。”

乔喻连忙说：“但这并不涉及到利用人工智能完成数学定理的证明。起码我目前的研究这一块还是空白。”

彼得·舒尔茨苦笑：“你是不是对凝聚态数学有什么误解？我们的工作是将那些数学定理改造成电脑能看得懂的形式，来训练人工智能行辅助定理证明。

实际上广义模态公理系也可以类似的改变或者说翻译。区别仅在于我们用哪方法让电脑能够理解那些复杂的数学定理。”

乔喻连忙劝：“我知，但那意味着又要重开始。更意味着之前你多少年的时间都浪费了！这怎么能行？你听我的，舒尔茨教授，这个事业千万不能放弃！

更别提据我所知，数学界已经有很多人使用你的凝聚态数学验证一些复杂定理，这代表着数学界对你的认可，怎么能说不就不了？这是对团队其他人的不负责任！”

开什么玩笑？

这系统对于乔喻来说可是有大用的。

虽然没有太多时间去帮着彼得·舒尔茨一起研究，但之前研究的资料乔喻换脑的时候已经都浏览过一遍了。

一个菲尔兹奖大佬带领的团队，费了七、八年时间的事可不是开玩笑的。