○ com至于那些华夏没有的东西，乔喻也不太喜欢chuyi9○ com
比如酒店房间里每隔一会就能听到刺耳的警笛声，也不知道是费城的警察叔叔太敬业又或者其他什么原因chuyi9○ com
至于国内的邀请，其实耽误不了多少时间chuyi9○ com华夏高铁交通太发达了chuyi9○ com最重要的是，高铁上也有网络chuyi9○ com手机热点一开，商务舱里也可以正常办公chuyi9○ com
“放心吧，舒尔茨教授chuyi9○ com相信我，这次报告会开完之后，我的时间很多的chuyi9○ com我跟其他人不一样，田导也说了，我应该把更多的精力放在学业上，而不是到处讲座chuyi9○ com
所以下半年我主要就忙一些博士论文跟答辩的事情chuyi9○ com你可以理解为走个过场，所以接下来半年我会有很多时间chuyi9○ com这次我能保证chuyi9○ com”
乔喻情真意切的说道chuyi9○ com
彼得·舒尔茨目前看来还挺厚道的，众所周知，乔喻对厚道人其实一直都挺不错的chuyi9○ com还是那句话，同行厚道人越多他越好混chuyi9○ com
只是彼得·舒尔茨还是摇了摇头，意兴阑珊的说道：“也不用这么上心，这次回去之后我打算重新审视这个项目的必要性，我会跟团队的人讨论之后再决定这个项目是否需要继续chuyi9○ com”
这句话让乔喻愣住了，诧异道：“放弃了？为什么？你研究这个项目好多年了啊，这个时候放弃了你不觉得可惜吗？”
彼得·舒尔茨洒然道：“其实没什么好可惜的chuyi9○ com你的广义模态公理体系在拓展之后，其实也能实现那些功能，说不定还你能实现得更好chuyi9○ com”
乔喻连忙说道：“但这并不涉及到利用人工智能完成数学定理的证明chuyi9○ com起码我目前的研究这一块还是空白chuyi9○ com”
彼得·舒尔茨苦笑道：“你是不是对凝聚态数学有什么误解？我们的工作是将那些数学定理改造成电脑能看得懂的形式，来训练人工智能进行辅助性定理证明chuyi9○ com
实际上广义模态公理体系也可以做类似的改变或者说翻译chuyi9○ com区别仅在于我们用哪种方法让电脑能够理解那些复杂的数学定理chuyi9○ com”
乔喻连忙劝慰道：“我知道，但那意味着又要重头开始chuyi9○ com更意味着之前你多少年的时间都浪费了！这怎么能行？你听我