巅峰学霸 第470节

脑正盘旋关未七月样工智根数界带怎样改变，眼睛突彼·舒尔茨远处跟另位波恩数教授窃窃私语。

顾听米尔诺继续感慨，直接开口叫句：「舒尔茨教授，间吗？」

彼·舒尔茨扭头眼陶轩之，抬手比0k手势，随跟身边聊几句，站原，等陶轩之走。

「彼，怎？」陶轩之走直接问句。

「实之收些消息，乔教授做关工智研究，但想通工智，嗯，或七月力强。元数构思让震惊。」

彼·舒尔茨神色严肃。

「收消息？」

「嗯，知，跟微软研究院之lean项目些合。

虽之研究因为些原因断，但处理特别复杂数结构，lean验证，确保证明程严谨性。

以直跟威廉姆斯教授保持联系。段间听细雨科技调取lean研档案。

且借微软服务器测试工智项目。现测试项目概今展示七月。」

陶轩之深吸口气。

吧，实使lean4。

跟提姆·格鲁斯，本·格林以及几位数，共证明项式frei

an-ruzsa猜想候。

使lean4提供blueprint工具证明程解为形式化步骤，

并逐步完整证明形式化工。

陶轩之甚至记使博客享程，并lean4项目评价。

虽lean4验证现证明正确性块确很，但现新证明块力极为限。

或lean工具数思路候，些辅助。

但展向值肯。证明通工智工具跟形式化证明系统确够推动数展。

尤帮助数解决些复杂数难题确寄希望微软研究院继续推lean研究。

惜情况知，

太极系列量模拟计算机横空世，直接让英特尔、英伟达等等企业遭受毁灭性打击。

包括微软。

微软开始转型做游戏跟网络云服务开始积砍掉些基础科研费。

尤微软研究院些针基础科研究费。lean项目。

觉很惜。但办。

毕竟候些科技企业很难，止微软，谷歌，旗研究院拨款幅度减少。

直接结果许项目被停掉，资料被封存。等未司情况，重启。

但陶轩之很清楚些托词。

般项目被封存超五再想重启几乎。

团队跟员流失，外界情况变化，司展战略影响些被封存项目。

像五西接连七次载登月功，但五科技新月异展，西想登月反理。

至五内重启··

别开玩笑！

情况五根本足以让些司走困境，越越难。

毕竟华夏掌握标准。

实证明陶轩之猜测。被封存项目但重启，些高科技司些更每各花式裁员。

办，业务收缩周期样。陶轩之垢病什。

毕竟微软、谷歌样企业本质最重任务盈利。

之针基础科研究布局，为未盈利做准备。

但司存续问题候，考虑未怎样。

且管何微软、谷歌码活。像英特尔、英伟达、ib些企业已破产重组。

但每每想，觉很惜。

毕竟管lean项目，或基础研究项目，投入极资金。

现被封存，想想觉浪费。

听彼·舒尔茨，陶轩之突感觉舒服许。

虽lean项目已被砍掉，但之研究果新通工智身挺。

反正些基础性研究浪费。至谁，陶轩之真谓。

陶轩之很肯评价句：「今演示，七月应该比lean强太。」

「两位样。iean理证明器，位形式化数证明计算机辅助工具。

但七月通工智。七月比lean强很。且注意七月语言力？

哪怕报告相严肃场合，它词依很随意，非常贴近口语化。

任何工智产品曾。甚至它口吻听，

嗯，怎呢，松弛感。」

「松弛感？」陶轩之皱皱眉头，太懂彼·舒尔茨底想表达什。

仔细回想片刻，像确感觉。

总之七月给感觉并般工智伪严谨感觉。

「，松弛感。觉工智给感觉很奇怪？像刻意模仿乔喻样。伙身感觉。」

彼·舒尔茨耸耸肩，。

陶轩之瞬间反应。

皱眉头：「意思七月确产意识？工智意识？机器意识？」

彼·舒尔茨摇摇头，严肃答：「知。连刚刚乔喻介绍些元数基本概念完全吃透。以判断。

感觉。果严谨证明，码先弄明白套元数体系，知需少间。觉算完全理解元数，想考证问题很难。」

陶轩之沉默。

吧，完全理解些概念。

比价值流伦理框架包含非绝性、纠错性、意识约束原理，

价值扩散程最值原理保证为界，利纤维丛跟模态群构造校正思维路径·—

乔喻讲述候理语气，但深思候瞬间决策价值判否具备意识形态，很难单纯数考量。

以点很认彼·舒尔茨判断。

算已完全理解元数基本框架，但让思考机器否具备数赋予意识，依很艰难程。

点陶轩之觉乔喻取巧办。直接数给意识义。

按照乔喻给义，果机器具备连续变化情境瞬间寻找伦理最优解动态力，以被认为具备意识，

意识跟类意识否存区别，陶轩之突觉辈证明。

再开口，陶轩之直接换话题。

「什候回波恩？回之打算跟乔教授吗？觉聊聊，概帮助解七月情况。」

彼·舒尔茨点点头，答：「考虑，以订返程机票。

果以话，以跟讨论番。果够服乔教授让试七月更。」

陶轩之点点头。

够辅助乔喻证明bsd猜想，甚至夸口证明程完美暇工智，确很想试。

吧，肯止两，全世界数概想试番。

给它提供现验证工具，给证明思路并完善证明程工智助手，绝数最完美助手，之。

两位世界顶级数沟通候，网络样已炸锅。

诚，次数报告虽乔喻并邀请媒体，搞什外直播情。

但毕竟网络代。哪怕数样网络参之。

像陶轩之特别喜欢博客享己研究。

别数己x、脸书、tiktk、博客、微博、抖乐或乱七八糟互联网账号。

更别提很内外数佬带己参加次报告。

些轻代言，些社交软件本部之。

享己活已髦变件很普通情。

次例外。

虽官层并肆宣传次报告，但求参保密。

很快关乔喻搞元数体系跟通工智消息开始网络满飞。

因为今周，以意料，最先惹热议竟帮”

错，最先注意新数理论竟帮初、高，反应则怨声载.

「卧槽？新理论？乔神您知乔代数几何之数教材改革已丧病狂吗？

高开始竟微积跟线性代数入门敢信吗？再搞新理论，高考高数啊？神放怜孩吧！」

知哪倒霉悲催孩网段话，但引堆共鸣，