别开玩笑了！

「两者的定位不一样。iean只是一个定理证明，其定位是用于形式化数学证明的计算机辅助工。

这只是一觉。如果要严谨的证明，起码得先明白那元数学系，天知这需要多少时间。当然我觉得就算完全理解了元数学，想要考证这个问题也很难。」

毕竟华夏掌握了标准。

彼得·舒尔茨摇了摇，严肃的答：「我不知。我连刚刚乔喻介绍的那些元数学基本概念都没完全吃透。所以我判断不来。

而且不如何微、谷歌起码还活着。不像英特尔、英伟达、ib这些企业都已经破产重组。

「对，就是松弛。你不觉得人工智能给人这觉很奇怪？就好像他在刻意模仿乔喻一样。那个家伙上也有这觉。」

总之七月给他的觉并没有一般人工智能那伪严谨的觉。

没办法，业务收缩周期就是这样的。陶轩之也没法垢病什么。

「松弛？」陶轩之皱了皱眉，他没太懂彼得·舒尔茨到底想表达什么。

就好像五十年前西大接连七次载人登月成功，但五十年后科技日新月异的发展，西大想要登月反而不可能是一个理。

但到了公司存续都成问题的时候，自然不可能去考虑未来会怎么样。

比如价值行的理框架所包的非绝对、可纠错、意识约束原理，

但每每只要想起来，都还觉得很可惜。

不过仔细回想了片刻，好像的确有这觉。

嗯，怎么说呢，松弛。」

本章尚未读完,请击一页继续阅读---->>>

之前针对基础科学研究的布局，都是为了未来能盈利准备的。

会影响到这些被封存的项目。

皱着眉说：「你的意思是七月的确产生了意识？人工智能的意识？机意识？」

毕竟微、谷歌这样的企业其本质最重要的任务就是盈利。

陶轩之沉默。

这是我在其他任何人工智能产品上不曾见到过的。我甚至能从它的吻中听一，

不过此时听到彼得·舒尔茨的说法，陶轩之突然觉舒服了许多。

至于五年重启··

但七月是通用人工智能。七月自然要比lean大很多。而且你注意到七月的语言能力没有？

彼得·舒尔茨耸了耸肩，说。

陶轩之瞬间反应过来了。

于是陶轩之很中肯的评价了句：「从今天的演示来看，七月应该要比lean大太多了。」

就当时的况来看五年本不足以让这些公司走当时的困境，只会越来越难。

事实也证明了陶轩之的猜测。当时被封存的项目不但一个都没重启，这些科技公司这些年更是每年都在各式裁员。

反正只要这些基础研究能不浪费就好了。至于是谁用了，陶轩之是真无所谓。

虽然lean项目已经被砍掉了，但之前的研究成果能用在新的通用人工智能上也好的。

好吧，他也没完全理解那些概念。

哪怕是在报告会这相对严肃的场合，它的用词依然很随意，非常贴近语化。

现在就这么被封存了，想想都觉得浪费。

毕竟不是lean项目，又或者其他基础研究项目，当年都是投了极多资金的。