一桶布丁提示您：看后求收藏（天书网www.tsms517.com），接着再看更方便。
“杰克打电话给我，说你要回趟房间，我就正好在这里等你了。”
“有什么事吗？正好边走边说。”乔喻扭头看了眼身边的郑希文，老郑干脆放慢了脚步。
彼得·舒尔茨开口问道：“还记得之前你问我最近在做什么吗？”
乔喻点了点头，说道：“当然记得你跟微软的lean社区合作，参与液态张量实验，希望能将数学定理形式化，并使用Lean对其进行验证。”
彼得·舒尔茨热切的说道：“所以你是否对这个项目感兴趣？你知道的，如果能用一个统一的语言来对数学进行描述，这将大大提升定理证明器的工作效率。
在这方面，广义模态公理体系的潜力巨大。事实上不止是我，达斯汀·克劳森对你的研究也非常感兴趣。
但现在我们缺少对你的广义模态公理体系足够了解的人。毫无疑问你是最适合的。相信我，这是一项很有意义的工作。
如果我们能成功的话，将复杂的数学定理形式化，未来我们将能使用电脑去验证许多复杂的数学定理，大大减轻未来数学的研究工作。”
乔喻有些犹豫。
说实话，他对这个项目的确有些兴趣的。因为他对人工智能很感兴趣。
