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

    至于五年重启··

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

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

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

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

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

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

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

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

    毕竟华夏掌握了标准。

    陶轩之瞬间反应过来了。

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

    别开玩笑了！

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    陶轩之沉默。

    嗯，怎么说呢，松弛。」

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

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

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

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

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

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

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