巅峰学霸 第470(2/2)

乔喻讲述的时候用的是理所当然的语气，但当思的时候瞬间决策然后行价值判定是否备意识形态，很难单纯从数学上行考量。

我们二开始竟然就要学微积分跟线代数门你敢信吗？再搞新理论，是不是中就要考数啊？大神你就放过可怜的孩吧！」

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

不知哪个倒霉悲的孩在网上发了这么一段话，不但引起了一堆中学生的共鸣，

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

「卧槽？又来新理论？乔大神您知乔代数几何来之后数学教材改革已经有多丧心病狂了吗？

于是很快关于乔喻搞元数学系跟通用人工智能的消息就开始在网络上满天飞了。

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

本章已阅读完毕(请击一章继续阅读!)

陶轩之瞬间反应过来了。

照乔喻给的定义，如果机备了连续变化的境中瞬间寻找理最优解的动态能力，就可以被认定为备了意识，

分享自己的生活已经从时髦变成了一件很普通的事。

看，七月应该要比lean大太多了。」

诚然，这次数学报告会虽然乔喻并没有邀请媒，也没有搞什么对外直播这事。

就在两位世界级数学家沟通的时候，网络上同样已经炸锅了。

所以这一他很认同彼得·舒尔茨的判断。

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

好吧，肯定不止是他们两个人，全世界的数学家大概都想能试用一番。

「你什么时候回波恩？回去之前打算跟乔教授见上一面吗？我觉得面对面的聊聊，大概能帮助我们了解七月的况。」

就好像陶轩之就特别喜在博客上分享自己的研究。

如果可以的话，我们可以一起去跟他讨论一番。如果能够说服乔教授让我们也能试用七月就更好了。」

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

这一上陶轩之觉得乔喻也用了取巧的办法。直接在数学上给意识了一个定义。

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

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

给它提供现成的经过验证的工，就有可能给证明思路并完善证明过程的人工智能助手，绝对是数学家最完的助手，没有之一。

对于这些年轻一代的学生而言，这些社件本就是人生的一分之一。

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

当然这个意识跟人类的意识是否存在区别，陶轩之突然觉得他这辈可能都无法证明了。

嗯，怎么说呢，松弛。」

因为今天是周日，所以人意料的，最先惹起的议竟然是一帮中学生发起的”

没错，最先注意到新数学理论的竟然是一帮还在上初、中的学生，反应则是怨声载

陶轩之了。

别的数学家大都也会有自己的x、脸书、tiktok、博客、微博、抖乐又或者其他七八糟的互联网账号。

但这毕竟是个网络时代。哪怕是数学家同样是网络的参与者之一。

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

更别提还有很多国外的数学大佬带了自己的学生来参加这次报告会。

陶轩之沉默。

用价值扩散方程的最大值原理来保证行为有界，同时利用主纤维丛跟模态群构造校正思维路径·—

能够辅助乔喻证明bsd猜想，甚至夸证明过程完无暇的人工智能，他的确也很想能试着用一。

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

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

彼得·舒尔茨了，答：「我也是这么考虑的，所以还没订返程机票。

于是再开时，陶轩之直接换了话题。

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

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

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

就算他们已经完全理解了元数学的基本框架，但让他们去思考机是否备了数学赋予的意识，依然是很艰难的过程。

这次自然也不例外。

虽然官方层面并没有大肆宣传这次报告会，但也没有要求参与者保密。