一桶布丁提示您：看后求收藏（天书网www.tsms517.com），接着再看更方便。
不过此时听到彼得·舒尔茨的说法，陶轩之突然感觉舒服了许多。
虽然lean项目已经被砍掉了，但之前的研究成果能用在新的通用人工智能身上也挺好的。
反正只要这些基础性研究能不浪费就好了。至于是谁用了，陶轩之是真无所谓。
于是陶轩之很中肯的评价了句：「从今天的演示来看，七月应该要比lean强大太多了。」
「两者的定位不一样。Iean只是一个定理证明器，其定位是用于形式化数学证明的计算机辅助工具。
但七月是通用人工智能。七月自然要比lean强大很多。而且你注意到七月的语言能力没有？
哪怕是在报告会这种相对严肃的场合，它的用词依然很随意，非常贴近口语化。
这是我在其他任何人工智能产品上不曾见到过的。我甚至能从它的口吻中听出一种，
嗯，怎么说呢，松弛感。」
「松弛感？」陶轩之皱了皱眉头，他没太懂彼得·舒尔茨到底想表达什么。
