乔喻有些犹豫。
说实话，他对这个项目的确有些兴趣的。因为他对人工智能很感兴趣。
虽然lean的本质是一个交互式定理证明器和函数式编程语言，其核心并不是人工智能。
但对于乔喻来说，如果能够参与这项工作，乔喻觉得可以尝试将这项工作跟人工智能结合，开发出专用的智能定理辅助证明工具来。
这其中最有价值的就是这个项目本身跟彼得·舒尔茨这么多年的积累跟研究。
犹豫自然还是因为乔喻那为数不多的道德感在作祟。
主要是彼得·舒尔茨现在已经很熟悉了，而且之前也算是帮过他不少，不太好意思直接黑。
如果是跟昨天早上那批人一样的关系，乔喻可以毫不犹豫的答应下来，先把之前的研究资料要到手再说。
说不定未来他还能比微软先拥有能够辅助数学家证明验证各种定理的技术，甚至说不定还能更进一步。
但这种事太熟了真就不好下手……
所以犹豫一会后，还是忍痛说道：“彼得，你知道的，我接下来的工作很多。真不一定抽得出时间来做这件事情。”
“没事，我已经跟达斯汀·克劳森商量过了，你可以在华夏跟我们合作。我们遇到问题了，可以随时用会议软件沟通。”
彼得·舒尔茨热情的说道。
“额……这样好吗？毕竟你们的研究难道就直接远程发给我？”乔喻眨了眨眼问道。
彼得·舒尔茨诧异的问道：“为什么你会觉得这样不好？lean本就是个开源社区。”
乔喻答道：“但据我所知，特定项目的具体细节性研究并不是开源的。我找过你的研究，并没有详细的资料公布出来。
而且这在未来可能涉及到一些标准的定义。你可能还不知道，我也打算开一家公司，
本网站为网友提供小说上传储存空间平台，为网友提供在线阅读交流、txt下载，平台上的所有文学作品均来源于网友的上传
用户上传的文学作品均由网站程序自动分割展现，无人工干预，本站自身不编辑或修改网友上传的内容（请上传有合法版权的作品）
如发现本站有侵犯权利人版权内容的，请向本站投诉，一经核实，本站将立即删除相关作品并对上传人ID账号作封号处理