画家会拿起画笔，先把大概轮廓搞定，然后才开始补笔，作家会记录下大纲，然后开始精修·.—
所以大家明白了吗？决策是瞬间做出的，计算是延后且为最优化决策服务的。
但意识就这么简单吗？显然不是！我相信所有在场的人都一样，当你们在意识里开始最优化选择的时候，潜意识会自动忽略那些需要付出巨大代价的选择！
就好像我最初举的那个例子，当一个年轻人男人看到一个他理想中的伴侣时，他想到了未来美好的婚后生活。甚至可能想到了未来孩子的名字。
但他第一时间肯定不会想到他会用违反道德准则的方式快捷的实现意识中规划的场景。
用数学上的话说，意识在做出决策的时候，依然是受到限定条件约束的。
这些约束因为人类个体受教育程度、家庭环境、成长环境、以及自身性格的不同而不同。
道德约束、法律约束、情感约束等等当然还有人类在不同年龄阶段，受到的荷尔蒙刺激不同，所以这些潜意识里的约束根本无法被量化。
但毫无疑问，这些约束体系同样属于意识决策的一部分。甚至可以说无时无刻不影响看意识的决策树。
我相信说到这里大家应该也都已经在脑海中给意识下了数学定义了。
在我看来意识在数学上的定义就是带约束下瞬时最优化可行域筛选预测器。
同时我们也能得出结论意识具备以下几个数学特性，第一，决策时间△t无限趋近于零；
第二，具备约束驱动的可行域；第三，瞬时经验的概率化评估，以及最优化目标选择因此，针对这些特性，我跟我的小组成员们制定了预测在计算之先，选择在优化之外的全新数学模型。
也就是今天我要重点跟大家讲述的元数学雏形。我们将之命名为经验约束瞬时优化体系，简称为ECIO框架，其基础体系大家可以看大屏幕。」
话音落下，乔喻背后早已经准备好的大屏幕同步亮起。
这场报告会还是第一次出现PPT。跟乔喻以往的风格一样，简单且直接。
没有过多的解释。
这也是七月在发送邀请函时，要出一道题的意义所在了。
上面的数学符号都是直接引用的乔代数几何中的概念。
显然对于没有专门学习跟研究过广义模态公理体系跟乔代数几何的数学家来说是很不友好的，即便来了也听不懂什么，无异于浪费时间。
更别提这些公式虽然看起来很简单，但如果讲起那些推导过程来就很复杂了。
虽然最终的目的是让人工智能向通用人工智能过渡。在决策时不再需要调参，不再需要严谨跟复杂的推导计算过程，但数学毕竟就是数学。
支持这一决策树过程本身的推导必须是讲逻辑的。
接下来一个多小时对于台下这一千多位数学家，尤其是那些跟着导师来见世面的学生跟助手们无疑是最无趣的。
不再有那些生动有趣的例子，全都是关于意识决策的数学解释。
尤其是其中涉及到模态空间的部分。
没办法，可实现性测度下的差异度规肯定要引入到高维模态空间。
这块绝对是整套理论最为抽象的部分。毕竟淘汰了以往的决策树，并不代表通用人工智能不需要决策树只是要达成这种瞬时决策需要的决策树过于抽象当然这也是必然的。
毕竟人类的意识本就很抽象。
而且介绍这些数学上的推导过程时，乔喻完全没有照顾台下众人心情的想法。
依然是他的风格，总是默认台下的数学家跟他水平差不多，肯定能听懂每一步的推导所以也没有什么详尽的解释，只是将他当时的推导思路说了一遍。
于是抛去一半本就是来打酱油的，剩下一半人百分之九十的数学家同样全程一脸憎逼皱着眉头半懂不懂的样子.
即便坐在第一排的众多大佬级数学家，差不多也是如此。
比如陶轩之，皱看的眉头就从没展开过。
听了一阵过后，甚至鲜有的直接拿出了手机开始录制。
对于这种行为乔喻是不太在乎的。
他讲的都是些理论性的东西。关于理论方面的内容，还真是全世界相通的。
至于掌握了理论是不是就能创造出类似的通用人工智能那就是见仁见智的事情了。
起码在乔喻看来没有超过十万有相关经验的工程师，以及几乎不计成本的量子模拟计算资源，想再设计出一个七月无异于痴人说梦。
七月的核心代码是乔喻亲自动手写的。
但七月外围那些代码可太多了。
每个服务器处理不同的决策类型，都要根据他编写的手册上传不同的代码。
光是培养相关的AI工程师们能够搞懂并使用他编写的指导手册，都花了整整一年的时间。
这也就是当时把发展通用人工智能写进五年计划了。
否则根本不可能把七月培养出来。就算把细雨科技靠卖专利赚的那些钱都花光，都不可能·.·
重赏之下必有勇夫的确是没错，细雨科技能调动的资源也的确很多，但还是不够。
最起码不可能这么快就让七月上线运行。
只能说在华夏举国之力四个字的分量从来都是他国之人难以想象的。
终于，大概十一点十分，嗨涩的数学部分终于讲完了。
显然现场能听懂的不多，不对，应该说几乎没有。
少数人能听得半懂不懂就不错了。
但这并不代表着全世界数学家的造谐都比乔喻差很多。
别说直接接触一个全新的数学体系，就是数学家换一个细分的研究领域，前期有很多不懂的东西都很正常的。
哪怕广义模态公理体系将数学符号做了统一，但乔喻提出的经验约束瞬时优化体系毕竟是新东西，而且还是最前沿的研究领域。
两、三年的研究成果，浓缩到一个多小时里想完全讲清楚本就不太现实。
所以报告会上的内容本就高度浓缩的。
那些坐在前排的大佬级数学家脑子里此时也自然也冒出了一堆的问题甚至是质疑，
毕竟用严谨的数学去构建一套抽象到很多时候并不符合逻辑的意识体系这个想法本身就太过疯狂了！
哪怕听得半懂不懂，也下意识的让人想去质疑这套理论的正确性。
可惜的是，乔喻直接断了这些人现场提问的心思。
「好了，关于数学方面理论推导部分暂时就讲到这里。可能大家有很多疑问，不过今天的时间有限，我就不一一解答了。
正如我刚才在论述这个命题之前所讲的，构建这个数学体系的初衷是希望能通过数学来表达意识。
通过数学表达意识最直接的体现毫无疑问就是人工智能。换句话说，元数学的本质就是为通用人工智能构建一套可以直接应用的数学基础。
这也是我一向的观点，数学虽然是最基础的学科，但每一位数学家都有必要为了应用而服务。
不管是应用数学家还是理论数学家！所以在构建出这套体系之后，我便率领团队展开了针对通用人工智能也就是大家常说的AGI的研究，并已经有所得。
本来这个消息暂时还是需要保密的。不过在这次报告会之前我拿到了授权，可以向众位展示一部分相关的成果。」
这番话，再次让现场的数学家们目瞪口呆。
尤其是许多本想举手质疑的那些大佬们。其中甚至包括了陶轩之·
已经有成果了？
换句话说，乔喻的团队已经开发出了具备初步意识属性的通用人工智能？
一时间许多人的大脑是真的不够用了—
要知道这可是一场专业的数学报告会。现场的来宾大都还是数学界的大拿们。
他们的大脑绝对是全球最优秀的。不过所有人也都精神起来。
尤其是那些被导师带来见世面的学生们。
年轻人本就对最前沿的东西很好奇，更别提刚才一个多小时乔喻讲的内容根本听不懂但如果做演示的话，他们绝对是能听懂的。
然而沉默片刻后的下一句话，乔喻便再次颠覆了这些数学家们的三观。
「其实大家应该都跟它打过交道了，这次报告会发放邀请函的工作就是它负责的。其中也包括了给出题目的工作。
没错，它就是七月，那个题目答案中邮箱的使用者。也是燕北国际数学研究中心开发的第一款通用人工智能产品。」
第351章 没错，就是我七月呀
乔喻在主席台上说出这番话时候语气很平稳，朴实。但其实内心还是极为得意的。
其实如果照几位老人家的想法，这次报告会是不让七月露面的。
一来，就跟之前说过的理由一样，过于先进暂时不便展示。
二来，老一辈的人还是觉得以和为贵比较好。
不过乔喻还是在报告会前说服了所有人。更别提已经九十岁高龄的袁老这次依然站在乔喻这边。
一句「搞学问搞技术还怕得罪人？怕得罪什么人？怕得罪人我们把天盾卫星、月球基地都自己炸掉好了！」直接让大家都无话可说。
所以乔喻干脆在最后时间把七月公布了出来。这样能少解释很多东西。
学界审核这种新的数学体系是个漫长的过程。与其等待一群数学家们用审视的目光去一步步的探讨元数学架构的合理性，不如直接给他们一点小小的成果震撼。
前排大佬们的反应也很真实，
当即就有人大声直接提问。
「那道题也是人工智能七月出的？」
没有借助话筒跟音响这些外放设备，但站在主席台上的乔喻依然听的很清晰。
「没错，那道题也是七月自主设计的。正如我在这次报告会之前就说的那样。
我一直认为理论数学应该跟应用数学保持一个相对统一的步调。这也是我设计七月的初衷。
实际上不光是那道题，包括今天报告会上的PPT，也就是刚才为大家做讲解的所有内容都是由七月所涉及的。
它已经具备了能够自行理解并总结数学体系核心脉络跟难点内容。并进行逻辑推理。
它甚至掌握了一定感同身受的能力。能够根据人不同年龄阶段大脑发育情况，去适配跟总结阶段性知识难点。
甚至从某种意义上说，它已经具备一定的‘创造」能力，但这种能力目前还受到很大的限制。