让他感觉憋闷的领带给拿掉……
“好吧，刚刚彼得·舒尔茨让我跟你说一声，等会晚宴上他想跟你聊聊。”
“好的，等会晚宴上见。”
……
“弗兰克，你不去参加晚宴吗？”
“不，我感觉有些不舒服，可能是在飞机上感冒了。人多的场合我就不去了。”
“感冒了？好吧，那你好好休息，不要耽误了后天的报告会。你知道的，这很重要。”
“放心吧，不会的！卢卡斯！”
……
乔喻换好了衣服，刚下电梯便看到了彼得·舒尔茨。
“咦？舒尔茨教授，我还以为你已经到宴会厅了。”
“杰克打电话给我，说你要回趟房间，我就正好在这里等你了。”
“有什么事吗？正好边走边说。”乔喻扭头看了眼身边的郑希文，老郑干脆放慢了脚步。
彼得·舒尔茨开口问道：“还记得之前你问我最近在做什么吗？”
乔喻点了点头，说道：“当然记得你跟微软的lean社区合作，参与液态张量实验，希望能将数学定理形式化，并使用lean对其进行验证。”
彼得·舒尔茨热切的说道：“所以你是否对这个项目感兴趣？你知道的，如果能用一个统一的语言来对数学进行描述，这将大大提升定理证明器的工作效率。
在这方面，广义模态公理体系的潜力巨大。事实上不止是我，达斯汀·克劳森对你的研究也非常感兴趣。
但现在我们缺少对你的广义模态公理体系足够了解的人。毫无疑问你是最适合的。相信我，这是一项很有意义的工作。
如果我们能成功的话，将复杂的数学定理形式化，未来我们将能使用电脑去验证许多复杂的数学定理，大大减轻未来数学的研究工作。”
本网站为网友提供小说上传储存空间平台，为网友提供在线阅读交流、txt下载，平台上的所有文学作品均来源于网友的上传
用户上传的文学作品均由网站程序自动分割展现，无人工干预，本站自身不编辑或修改网友上传的内容（请上传有合法版权的作品）
如发现本站有侵犯权利人版权内容的，请向本站投诉，一经核实，本站将立即删除相关作品并对上传人ID账号作封号处理