巅峰学霸 第294节（6 / 7）
……
“弗兰克，你不去参加晚宴吗？”
“不，我感觉有些不舒服，可能是在飞机上感冒了。人多的场合我就不去了。”
“感冒了？好吧，那你好好休息，不要耽误了后天的报告会。你知道的，这很重要。”
“放心吧，不会的！卢卡斯！”
……
乔喻换好了衣服，刚下电梯便看到了彼得·舒尔茨。
“咦？舒尔茨教授，我还以为你已经到宴会厅了。”
“杰克打电话给我，说你要回趟房间，我就正好在这里等你了。”
“有什么事吗？正好边走边说。”乔喻扭头看了眼身边的郑希文，老郑干脆放慢了脚步。
彼得·舒尔茨开口问道：“还记得之前你问我最近在做什么吗？”
乔喻点了点头，说道：“当然记得你跟微软的lean社区合作，参与液态张量实验，希望能将数学定理形式化，并使用lean对其进行验证。”
彼得·舒尔茨热切的说道：“所以你是否对这个项目感兴趣？你知道的，如果能用一个统一的语言来对数学进行描述，这将大大提升定理证明器的工作效率。
在这方面，广义模态公理体系的潜力巨大。事实上不止是我，达斯汀·克劳森对你的研究也非常感兴趣。
但现在我们缺少对你的广义模态公理体系足够了解的人。毫无疑问你是最适合的。相信我，这是一项很有意义的工作。
↑返回顶部↑
“弗兰克，你不去参加晚宴吗？”
“不，我感觉有些不舒服，可能是在飞机上感冒了。人多的场合我就不去了。”
“感冒了？好吧，那你好好休息，不要耽误了后天的报告会。你知道的，这很重要。”
“放心吧，不会的！卢卡斯！”
……
乔喻换好了衣服，刚下电梯便看到了彼得·舒尔茨。
“咦？舒尔茨教授，我还以为你已经到宴会厅了。”
“杰克打电话给我，说你要回趟房间，我就正好在这里等你了。”
“有什么事吗？正好边走边说。”乔喻扭头看了眼身边的郑希文，老郑干脆放慢了脚步。
彼得·舒尔茨开口问道：“还记得之前你问我最近在做什么吗？”
乔喻点了点头，说道：“当然记得你跟微软的lean社区合作，参与液态张量实验，希望能将数学定理形式化，并使用lean对其进行验证。”
彼得·舒尔茨热切的说道：“所以你是否对这个项目感兴趣？你知道的，如果能用一个统一的语言来对数学进行描述，这将大大提升定理证明器的工作效率。
在这方面，广义模态公理体系的潜力巨大。事实上不止是我，达斯汀·克劳森对你的研究也非常感兴趣。
但现在我们缺少对你的广义模态公理体系足够了解的人。毫无疑问你是最适合的。相信我，这是一项很有意义的工作。
↑返回顶部↑