00:00 / 01:15
连播
清屏
智能
倍速
点赞42
00:00 / 02:49
连播
清屏
智能
倍速
点赞0
00:00 / 04:27
连播
清屏
智能
倍速
点赞0
00:00 / 04:55
连播
清屏
智能
倍速
点赞23
00:00 / 00:30
连播
清屏
智能
倍速
点赞12
00:00 / 01:36
连播
清屏
智能
倍速
点赞666
00:00 / 04:14
连播
清屏
智能
倍速
点赞0
00:00 / 00:34
连播
清屏
智能
倍速
点赞11
00:00 / 04:07
连播
清屏
智能
倍速
点赞14
技能,交流和解释 2026.5.24 视频日记 | 技能,交流和数学解释 大家好,今天主要讲三件事。① 第一个:上下文自动压缩功能完成了昨天我完成了一个粉丝提的需求。他之前提到,说我这个 AI 交流系统里,上下文的 styles 没有实现自动压缩。原因是上下文非常分散,分布在各个角落,很难统一处理。昨天我把这个功能补上了,现在已经正式集成到最新版本的 AI 交流系统里。为了给大家直观展示,我把这个功能单独打包成了一个压缩包,如果你想要的话,可以私聊我,我发给你。② 第二个:这个 AI 交流系统到底是什么?我最初做这个系统,是为了开发我的数学模块。现在的问题是:人工智能在数学上已经能做很多事,但怎么把这些能力和现有数学体系真正衔接起来,依然需要人类的判断力。只要有人类判断力参与的地方,人工智能就需要一种新的裁决方式。但问题是——人类大脑的处理速度,根本追不上这种需求。所以我在做一个系统:把自己的判断力外包出去。具体做法是:让 AI 根据我们之间的上下文对话,自动提取我的判断依据和价值函数,再把这些当作权重,分配给下一次交流中的 AI。相当于——这个 AI 在学习我的价值观。以后它和其他智能体交互时,就可以直接调用我的价值函数来做判断。对我们团队来说,这套系统的目标之一,就是让数学公式开发、数学符号设计变得更轻松、更顺滑。③ 第三个:我们在重构数学公理体系我们做的数学公理体系,核心依据其实很明确:打破人类对数学符号的直觉依赖。怎么打破?通过公理化的方式,去改造、证明、重建一部分公理,再用这些公理去推动形式化证明。所以我们现在是从最底层下手,比如重新梳理皮亚诺公理、戴德金分割这些内容,对其中一些结构和定义做了调整。过一段时间,我会发一篇文章,同时把这套系统逐步开放出来,让这件事慢慢往前推进。今天的内容就先讲到这里如果你对这个系统感兴趣,或者想要刚才说的那个上下文压缩包,欢迎私聊我。#上下文#AI #数学 #技术#天幕之舞
00:00 / 05:34
连播
清屏
智能
倍速
点赞17
00:00 / 01:02
连播
清屏
智能
倍速
点赞16