boluopai.
EN
目录展开收起实践 · 用文学写出自己的递归改进

用文学写出自己的递归改进

生成式描述经过解释进入实践;经验返回比较与修订,改变下一轮怎样改进。保留的证据与版本历史支持比较。
实践改变描述,描述中的方法经解释与实现,改变下一轮实践。查看大图

人借来火,写出作品,也在创造中改变自己。作品之间又形成另一件作品:关于自己怎样感知、理解、生成和行动的描述。个人哲学给它以方向,个人模型使它贴近实际生活,语言模型把它展开为新的解释、工具和活动。这份描述继续写到自身:怎样形成理解,怎样比较可能,怎样判断一次变化值得保留,又怎样修改这些做法。

递归改进发生在这样的返回中:一轮实践的所得,改变了下一轮怎样产生改进。一件作品做得更好,使人获得有用的结果;形成一种更适切的方法,使以后的工作获得新的起点;人在反复参与中发展能力,又能改变他怎样提出问题、理解反馈和组织帮助。Yinyang 把这些联系写成可以阅读、使用和修订的个人安排。

这一章把前面的基本观点收拢到一个功能问题:人与模型组成的系统,怎样理解自己的运作,并借这种理解改善人的技术与生活能力,以及产生这些改善的方法?反向对齐给出人的发展方向,具身参与与听说读写给出活动入口,角色返回组织共同判断,轨迹保留根据,推理组织候选,三位一体连接描述与实现。它们在这里组成一种人机耦合的功能性自模型。

Zhang、Yuan 与 Zhang 的自指式自省论文将自省具体化为理解自身运作、模拟、评价与定向修改的能力 [8]。Yinyang 从这个问题结构发展一个简单版本:以人的实际身体及其支持关系、关于这份实践的描述为改进对象。模型参与其中,帮助人理解、试想、判断和实现改变。技术能力、生活能力、人与他人及环境的关系,由同一份实践连接起来。

从自复制开始:A、B、C 与描述的两种用途

冯·诺伊曼把问题放在一个能够取得基本部件的环境中:一台机器怎样制造另一个具有同样构造能力的机器,并把继续制造所需的描述一同传下去?这种自复制需要把制造者自身也纳入所制造的对象 [1]。

设 $\phi(X)$ 是机器 $X$ 的编码描述。三个模块分别承担不同工作:

模块 功能 对描述做什么
$A$:通用构造器 根据描述,从环境中的部件构造机器 $X$。 把 $\phi(X)$ 解释为构造指令。
$B$:描述复制器 复制描述带。 把同一份 $\phi(X)$ 当作可复制的数据。
$C$:控制器 协调复制、构造、连接与分离,使新机器带着描述继续工作。 安排描述在两种用途之间的传递。

令 $X=A+B+C$。控制器先让 $B$ 复制描述,让 $A$ 用一份描述构造 $X$,再把保留的描述连接到新机器。后继系统于是具有

$$ X+\phi(X)=(A+B+C)+\phi(A+B+C) $$

这份完整组织,并能够继续同样的过程。这里的加号表示部件的组合。同一描述既被解释以构造机器,又被复制以供下一次构造使用。如果只有机器,后继者缺少构造根据;如果只有描述,还需要能够解释、复制和实现它的组织。把两种用途接起来,自复制才取得具体机制。

加入 D:功能怎样随突变传下去

在这个基础上,加入具有附加功能的模块 $D$,并让描述覆盖整个 $A+B+C+D$。构造器能够把 $D$ 一同制造出来,描述复制器又把关于它的编码传给后继者。$D$ 承载可随复制传递的附加功能;突变则是机器或描述发生的变化。两者在解释中分别有自己的位置 [1]。

设描述中关于 $D$ 的部分变成 $D'$,而构造、复制和控制的组织仍能工作。后继系统就能取得

$$ (A+B+C+D')+\phi(A+B+C+D'), $$

并把这项差异继续传下去。相反,直接改变机器中的某个部件而保留旧描述,下一次按旧描述构造时可能恢复原状;变化发生在哪里,决定了它能否遗传。若变化使构造或控制失效,传递也会中断。

这一步给自复制增加了发展的空间:系统能保持使传递继续的组织,同时让可传递的功能发生变化。哪些变化有利,还要由环境中的使用、存续和选择说明。由此进入自我改进时,新的问题是:系统能否主动考察变化的后果,选择候选,并让产生和选择候选的方法也发生改变?

复杂性阈值:使构造能够继续的组织

冯·诺伊曼在印刷页 78–80 考察一种张力:普通机器制造的东西似乎比制造者简单,生命却能产生与自己同样复杂、乃至具有更多功能的后继者。他所说的复杂性侧重能够完成怎样的操作,并提出构造存在某种临界组织规模;在适当安排下,达到它的系统可以使构造继续产生同等或更丰富的能力 [1]。

A、B、C 和编码描述使这个问题变得具体。要构造后继者,需要取得部件、读懂描述、复制描述,并使新构造继续拥有这些作用。D 则显示,这种延续还可以携带变化。阈值关心的是这些能力能否组成一个能够接续的整体。部件如何定义、环境已经提供什么、描述由谁解释,都影响实现所需的组织。

例如,将通用解释器作为现成支持,自己保存的描述可以很短;若把解释器也纳入需要重新构造和改变的对象,就必须提供它的构造根据。短描述的能力由描述与解释环境共同承担。后文把文学描述接到语言模型时,需要沿着这条关系比较其作用与成本。

自指使方法成为自己的对象

自复制中的描述关系,在程序中可以通过编码与解释来构造。Quine 程序能够输出自己的源码;克莱尼第二递归定理则给出更一般的有效自指结构。以 $\varphi_e$ 表示编号为 $e$ 的程序计算的部分函数,对任何全可计算的编号变换 $F$,存在编号 $e$,使

$$ \varphi_e \simeq \varphi_{F(e)}. $$

这里比较的是计算行为。一个程序能够把自己的编号交给给定变换,并取得与变换后的程序相同的行为。克莱尼的原文与 Moschovakis 的构造说明了这项可能 [2]、[3]。要把它用于改进,还需为 $F$ 赋予实际的模拟、评价与修改工作。

把当前源码记为 $e_t$,有界模拟器记为 $f_{T_t}$,评价器为 $V_t$,修改器为 $M_t$,可以把一次后继生成写成

$$ e_{t+1}=M_t\!\left(V_t\!\left(f_{T_t}(e_t)\right)\right), \qquad S_t=\operatorname{Run}(e_t). $$

模拟器在有限步数内取得运行轨迹,评价器依据目标比较结果,修改器形成后继源码;源码也随这条处理路径保留,供修改器使用。将这组工作接到上述递归定理时,采用全可计算的评价与修改算子,使每次有限处理能够给出结果。下一阶段执行 $e_{t+1}$。这把描述从复制的材料变成考察自身行为和生成候选的材料。评价与修改自身也可以被编码、重新生成和接续。

自省阈值:为什么第一个系统具有基础性

Zhang、Yuan 与 Zhang 在 §3.4.3 连接了单次构造与递归序列:初始自省系统 $S_0$ 产生后继 $S_1$,后继再承担相应工作,形成 $S_0,S_1,S_2,\ldots$。他们把能够建立这条接续的初始自省组织称为自省阈值,并在附录 A.2、A.5 讨论自指构造的统一性及其在所述修改条件下的保持 [8]。

第一个系统的基础性,在于它已经能够把自身作为修改对象,并将继续这样做的能力交给后继。只交出一份新源码,还留下一个关键问题:新版本怎样恢复自己的描述、使用自己的评价与修改方法,再产生下一份可执行版本?递归需要把这项接续一同实现。初始构造因此建立的是后续变化可以发生的组织条件。

在这个组织中,评价器、修改器和模拟范围也可以进入被修改的对象。比如,旧系统只能比较速度,后继加入对错误的检查;再下一轮发现原来的模拟遗漏实际输入,于是改进模拟方法。这些变化分别影响任务表现、评价能力和产生改进的方法。只有把后者也纳入,才说明强 RSI 所关心的“改进能力本身得到改进”。

阈值提供的是架构问题:什么样的系统能保持这条自指修改链?持续收益还提出评价问题:候选是否改善所选目的,模拟能否预测真实后果,投入搜索是否值得?该论文将阈值命题作为有条件的猜想,实际增长取决于这些条件。施密德胡贝的哥德尔机进一步用形式证明比较“现在修改”与“继续搜索”的效用,将机会成本带进选择 [4]。这让结构能够延续与改进值得采用成为相连的两个问题。

完备性、功能性质与结构性质各说明什么

论文 §3.5 按三个层面展开自省系统。完备性考察可修改范围,功能性质考察系统能做什么,结构性质考察这些作用怎样组织起来 [8]。把它们用于当前问题,可以逐项问:

层面 核心问题 对持续改进的意义
自修改的完备性 改进器能否把任务代码、参数及修改机制自身都作为可达的修改对象? 方法能够改变自身;可达性与选择哪条有益路径分别考察。
自建模、自模拟、自评价、自修改 能否描述自身运作,推演候选,比较预期和实际结果,再使变化进入运行? 将认识自身与实际改变连接起来。
反射性 执行组织与关于它的生成式描述怎样对应? 修改描述后,能够重建与之对应的后继组织。
循环处理 后继结果怎样成为下一阶段的输入和修改条件? 使一次构造成为可以继续的活动。

这里的完备性是自修改空间的完备性。论文附录 A 的构造讨论有限可行路径和不同代码区域的修改;搜索到有益路径的费用、评价是否可靠,则需要另行分析。对持续链尤其要检查:中间版本是否仍能自省,更新正在承担修改的部分时,控制怎样交给已经准备好的后继。

反射性让描述与执行相互对应,循环处理让这种对应能够反复参与运行。描述还需要实际的编码、解释器和支持环境:把更多作用纳入可改范围,会增加需要表达和实现的关系;借用环境已有能力,则使较短的描述取得较丰富的作用。接下来,把这组区别放回人与模型的共同实践。

身体、生成式描述与解释器

现在把上述关系接到 Yinyang。我们选择的改进单位,是人与模型及其实际支持关系:身体参与生活,描述使有关运作可以被理解和改写,解释与实现让修改进入后继活动。从正在运行的共同实践中,区分三种作用:

作用 在 Yinyang 中承担什么 怎样取得下一步后果
身体 $B_t$ 人的感官、动作、习惯与能力,以及持续支持活动的设备、记录、工具和伙伴。 感知、参与、行动、学习,并承受结果。
生成式描述 $\Delta_t$ 哲学方向、个人与伙伴的理解、合作关系、环境安排和修订方法。 让参与者能够理解、展开并重新组织实践。
解释器 $I_t$ 以语言模型为核心、具有实际工具的解释与实现过程。 从描述和当前处境形成方案,构造作品,调整环境。

这里的身体具有分布式的实践含义。一种能力由人的判断、模型的展开、可用的工具和能够返回的记录共同维持,就沿着这些实际联系理解它。人的身体是生活的中心,也是感受与行动的入口;模型使更多表达、比较和构造成为可用的贡献。模型作为支持属于这份组织,在读取和展开描述时又承担解释器的作用。

生成式描述写出的是能够继续展开的关系。例如,「共同展开问题的伙伴」可以引出调查、形成候选、制作、检查与修订。新的情境尚未逐项列出,这份关系已经给模型以解释它的方向。人在看到结果后,也会重新理解这句话应该怎样写。解释由双方共同参与,工程使其中需要执行的部分获得实际手段。

哲学、心理与工程的三位一体因此取得一组技术联系:哲学发展描述及其理由,心理理解具身参与者的活动,工程组织解释与实现。三者沿着同一实践相互改变。

六个视角共同形成一个功能性自模型

自模型的对象是正在共同理解、判断和行动的人机系统。人的哲学已经包含他怎样理解自己、怎样与模型和他人相处;模型又借这些描述调整贡献。因此,描述既表征系统,也参与系统的运行。自省发生在参与者借这份描述考察自己的输入、解释、选择、行动和后果时。它可以由双方、记录与工具共同承担。

六份工作理解把这一对象展开成六个相连的视角:

工作理解 自模型需要解释的关系 对一次改变的贡献
立场与方向 什么值得发展,何种所得与代价值得比较。 为评价选择有内容的目的,并允许目的受到生活后果的重考。
个人 人怎样感知、表达、学习和行动,哪些条件使能力可用。 预期改变会打开什么参与机会,需要怎样的实际尝试。
伙伴 当前模型怎样接收材料、推理、生成、使用工具及发生错误。 判断哪项贡献可由模型承担,哪些判断还需要人的经验或其他证据。
关系 双方的贡献怎样接续、互换、纠正并返回。 比较不同分工会怎样影响理解、判断和行动。
环境 描述经哪些接口、材料、设备与社会条件取得作用。 找到能够实现改变的位置及实际反馈的入口。
修订 怎样形成候选、模拟后果、评价结果和修改自身。 使上述做法及修订方法自身继续成为改进对象。

这六个视角共同承担自省。一次阅读困难可以同时涉及人的参与条件、模型怎样解释请求、界面怎样呈现,以及原来用什么标准判断完成;按这些联系阅读,才形成对同一运作过程的理解。个人、伙伴和关系模型也由此相互约束:人的改变会改变需要怎样的伙伴,伙伴的新能力会改变分工,分工和环境又会改变人的实际参与。

功能性要求描述能够帮助回答「在这些条件下怎样工作,改变这里会怎样」。忠实性要求这些回答与实际运作保持可检查的对应。描述要保留会改变当前判断的区别:接收的是声音还是转写,困难发生在理解还是开始行动,模型取得了原文还是摘要,修改是否真正进入使用。它可以采用自然语言、例子、表格和局部数学模型,精度取决于所要判断的改变。

例如,「这个人需要清晰解释」还不足以指导修改;「他能识别图中的关系,但在长段文字间重建指代耗费较大;把相关对象共同呈现,预计会使他更容易指出遗漏」给出了条件、候选关系、改变与可观察后果。实际比较可以支持它,也可以发现困难位于另一环。尚不清楚的原因保留为候选,使自模型能够继续学习。

建模、模拟、评估与修改怎样工作

自模型把当前过程变得可理解,模拟把候选改变展开成可能的过程,评估比较这些过程及实际结果,修改则使选中的关系进入身体、描述或支持环境。四种能力可以在同一段对话和制作中交错发生。

能力 实际做什么 留下什么供下一次使用
建模 从具体活动恢复目的、输入、参与者、状态、条件与依赖,比较解释。 一份能解释关键差别、指出可改变位置的工作理解。
模拟 在说明的条件下推演「如果改成这样」,用情境、角色演练、草图、原型或可执行模型展开后果。 候选会怎样工作、在哪里可能失效,以及能区分候选的预期。
评估 比较预期与观察,考虑人的参与、所得、维护成本和他人承担的后果。 采用、修改、保留或放弃某种安排的理由。
修改 改写描述,改变工具、界面、材料、分工与实际练习,再观察后继活动。 真正可用的后继安排,以及对自模型和改进方法的纠正。

模拟可以先是定性的。两种阅读入口、两种练习方式或两种协作分工,往往已有可以比较的差别;再用实际试作检验关键预期。模型生成的情境说明一种可能,人和世界的回应决定这种可能在此处怎样实现。对模型自身可运行的程序与工具,可以直接试验;对人的学习与生活变化,则需要本人活动、经验和后续结果来校准。

这种模型兼有数学与物理的方面。数学表达关系、条件、推论与局部状态变化,物理实现使感知、计算、行动、时间和资源取得实际后果。人、模型与工具有不同的变化节律:界面可能立即更新,熟练度需要使用,关系中的新安排需要其他参与者回应。共同系统的解释须把这些节律接起来。

递归发生在四种能力也成为对象时:如何选取关系、怎样产生模拟、评价遗漏了什么、修改为何未能落地,都能由这次实践来改进。一次更准确的模型可以改进下一次模拟;一次预期失败可以修订建模方式;一次实现困难可以改变候选生成,使之后更早考虑真实入口。提高的对象因而是人机系统改善人的生活与技术能力的能力。

听说读写是自省与改变的接口

听说读写的分工让这套功能进入普通活动。人可以从直觉、声音、草图、批评或一段未完成的话开始,模型展开关系、核查细节并维护可继续的作品。下面按同一活动的不同入口来看:

入口 怎样取得有关自身运作的材料 怎样参与改进
听 从说明、声音、节奏及听见自己说话中辨认含义和不合。 比较解释怎样抵达自己,调整呈现、例子或交流方式。
说 说出愿望、直觉、预测和异议,在表达中发现关系。 模型重建候选,人的进一步表达使候选受到纠正。
读 阅读材料、图示、自己的描述和作品,比较所说与所见。 检查自模型是否贴近活动,考察改变前后的差别。
写 人写构想、哲学和关键判断,模型展开、维护论证与实现。 将新的理解写入可被读取和运用的描述,让后续活动采用它。

这些入口可以反复接续。例如,人读到一段难以进入的解释,说出一个反例;模型重构关系并画出候选;人听取说明、检查图中遗漏,再改写原先的理解。Yinyang 辩证法中的角色返回在这里有了技术内容:生成、审查和改写能够通过对方的贡献再次发生,原来的分工也因此可变。实际接收通道决定双方各自能据什么判断。

技术上的承担由现有能力分配:语言模型组织材料、展开推演、写作与实现,记忆和版本工具支持返回,专业工具处理相应计算和测量,人通过参与、体验、判断和练习改变自己的活动。初始实现可以很简单:维护六份相连描述,在一项真实工作里使用它们,把预期、结果和修订理由接回相应正文;已有工具承担保存与交付。随着具体用途出现,再增加有实际贡献的模拟或测量。

自指式自省与哥德尔机:这项论证成立到哪里

自指式自省论文把读取自身描述、有界模拟、评价与修改连为一个程序构造,并在附录 A–C 讨论完整可改写性和哥德尔机对应 [8]。对 Yinyang 最直接的启发,是让功能性自模型参与实际选择和修改,同时把模拟器、评价方式和修改方法纳入描述。人位于所考察的耦合系统之内,人的判断因而可以是系统自身判断的一部分。

这给出一条具体的条件论证:当描述足够忠实地表示有关功能,参与者能够据此形成和比较修改,选中的修改又确实改变后续活动,并让结果返回自模型时,系统已经具有功能性的自省与定向自修改;当改动改善了以后建模、模拟、评价或修改的能力,便取得递归改进的实践根据。这里的自指是可追踪的作用关系:正在使用的方法处理关于自身的描述,后继方法承接其结果。它与哥德尔机共同关心「改进程序也能被改进」,并把是否继续搜索的成本放进比较。

论文的严格结论还有更强前提,需要分别说明:

论文中的条件或结论 在人机耦合实践中的对应与待证之处
自包含 H1 指自身源描述由系统内部取得。把人与模型共同作为单位,可以把双方相互提供的材料纳入内部活动;完整源码的自供给仍需实际证明。共同处于自然世界与这个形式条件是不同判断。
定向性 H2 修改由系统根据可访问的数据计算和选择,允许外部输入。人机的有理由比较可以承担定向选择;每次选择是否正确由另外的证据回答。
完整定向自修改 A6 要求任意源码区域、任意指定内容都能被改写,并保持继续修改的能力。人的身体、模型权重、平台与物理条件具有实际可访问范围,当前实践尚无这种完整性证明。
无内部不可变区域 论文将其作为完整可改写构造的结论。实践中可以重考六份描述及其修订方法;这一开放范围由真实修改能力说明。
与哥德尔机改写等价 附录 B–C 使用指定的公理与效用、证明检查评价器和证明搜索修改器,并对应改写事件及中间输入输出。这里使用经验性模型、有限模拟与人的判断,尚未实现这些形式组件和等价证明。

因此,本文给出的是具有自指改进结构的人机实践论证。它可以通过可运行的局部构造和真实活动逐步加强;哥德尔机的全局最优性需要其特定形式条件,自指式自省论文提出的阈值在人机实践中尚无可量化、经验证的数值。初始工作的充分目标,是使自模型在有关用途上越来越忠实,并实际提高四种能力。

「写完又硬编码」指出一个实现问题:文件虽然能改,解释它的分类、评价尺度或修改路线却始终不进入反思。解决它,需要让这些关系也能够被指出、比较和替换,并让修改到达下一次使用。一个当前版本有确定文字,正好提供可检查的对象;使版本成为后续实践的材料,才保持开放性。持续的变化则按用途判断:有效方法可以稳定下来,新的反例再使它改变。

保留冲突,形成能够行动的视图

改进需要看见当前安排之外的可能。一次失败、不同人的报告、早先放弃的方案,可能指向彼此不相容的解释。把它们保留为可比较的材料,使现有描述仍然能够遇到差异。当前行动又需要采用足够明确的依据:要处理什么对象,依据哪些关系,作出怎样的预测与选择?

前文的工作视图回答后一组问题。它为当前问题组织相关材料、候选解释、采用的前提与推理方式。保留的来源较广,工作视图从中作出有根据的承诺。尚未采用的解释仍能作为比较对象,在新的结果出现时重新进入。

容纳不一致语义给这种区别提供一个精确的局部例子。固定一般公理 $T$,从冲突断言 $A$ 中选取相对于 $T$ 一致且按包含关系极大的子集,就得到修复;随后采用的查询语义决定怎样跨修复回答。在「所有选定修复均支持」的回答方式下,一个结论可以在尚未解决的冲突中保持成立 [6]。

例如,$P$ 与 $N$ 互斥,两者又都蕴涵 $Q$,而材料中同时出现 $P(a)$ 与 $N(a)$。分别采用两种一致依据,都能推出 $Q(a)$。这说明怎样取得一个对这些备选稳健的局部结论。若进一步发现所用的分类关系不适合当前对象,就需要重新考察 $T$;改变分类、公理或回答方式,形成的是新的探究问题。

这正是容纳不一致与递归改进相接的地方。局部推理在选定关系下取得结果,反思则让关系的选择方式也成为对象。双方可以修改取材范围、生成候选的方法、信源优先关系、接受结论的条件,以及组织整个问题的概念。每一种修改有自己的理由:新事实可以改变判断,新的目的可以改变行动取舍,新的解释则可能重构原有的选项。

从改写文字到改变下一轮活动

方法写在描述里,使它成为可以指认和修改的对象。它实际怎样工作,还通过模型的理解、工具、人的习惯和当前条件取得内容。比如「比较两个方案」要展开为:比较哪些结果,怎样取得这些结果,哪个差别会改变选择,以及由谁承担比较。这些具体活动也能够被回看。

用一组工作记号把这段关系聚拢起来:

$$ A_t=I_t(\Delta_t,B_t),\qquad (B_{t+1},E_{t+1})=\operatorname{Encounter}(B_t,A_t,\Omega_t). $$

$\Delta_t$ 是当前描述,$B_t$ 是当时的具身参与与支持条件,$I_t$ 将它们展开为活动 $A_t$。活动遭遇世界 $\Omega_t$,使实际参与和环境进入后续状态 $B_{t+1}$,并留下可供理解的经验与结果 $E_{t+1}$。这些记号表达需要考察的依赖;具体研究再说明哪些变化怎样发生、怎样观察。

修订把这些所得带回描述。设 $R_t$ 为当时实际采用的修订方式,$\Delta^R$ 为描述中关于修订方法的部分:

$$ \Delta_{t+1}=\operatorname{Revise}_{R_t}(\Delta_t,E_{\leq t+1}),\qquad R_{t+1}=\operatorname{Realize}(\Delta^R_{t+1};I_{t+1},B_{t+1}). $$

第一步比较当前理解与有关经验,写出后继描述。第二步使其中的方法通过解释与实际组织进入下一轮工作。描述中的方法可以先被改写,软件可以较快更新,人的习惯则可能在多次活动中逐渐形成。各项变化的节律由其实际实现决定。

反射关系就在这两步之间:修订方式参与修改关于自身的描述,修改后的描述又经实现改变后来的修订方式。一份新文字给出了可以实现的候选;后来如何取材、比较、判断和行动,显示它取得了怎样的功能。

一次阅读怎样改变改善阅读的方法

沿用前文的假设阅读环境。人希望方便地继续读书,模型整理了书架,并用「能打开选定的书」检查结果。正确的书确实打开了,人却仍然需要寻找上次的段落、重建刚才的论证。操作结果与阅读体验共同使问题变得更清楚:打开书是其中一个环节,继续理解还需要恢复一条线索。

双方可以保留两个候选。一个认为目的地错误,另一个认为原来的检查只覆盖了部分目的。核对实际页面,可以考察第一个解释;找到的书已经正确时,阅读经过进一步帮助理解第二个解释。来源保留了原请求、实际打开的版本、人的回应及检查过程,当前工作视图则据此选择下一项修改。

第一轮修改让页面直接回到有关段落,并在阅读中考察它的作用。Git 保存原来的书架与后来的入口,使用反馈说明这个差别为何重要。假如新安排让阅读更容易接续,就取得了关于这项作品的改善根据。

递归的下一步,是把改善的做法也改写:今后修改阅读环境时,先恢复使用者要继续的活动,再从那项活动选择验收方式。模型依据这一方法,在另一个阅读任务中较早识别出需要保留的返回点,双方也更容易形成适切方案。这时,后续工作为方法的改善提供了根据。

进一步使用还可能发现,新阅读需要概览,接续阅读需要直达。双方于是保留两种入口,并说明各自适用的活动。较早退出当前方案的想法,成为重构后的安排的一部分。「保住思路的线索」可以把这些关系凝缩起来;它的含义由具体例子、条件与实现不断充实。

这个例子连接三种成果:

改善的对象 在例子中怎样体现 后续从哪里取得根据
作品 页面支持返回所需段落。 这份页面在实际阅读中怎样工作。
方法 从要继续的活动选择检查方式。 在后来相关任务中,怎样更有效地产生适切安排。
能力 人与支持环境更容易恢复、理解和继续阅读。 此后实际能够发起、判断与维系的活动。

这些成果可以相互支持,也可能以不同速度出现。持续可用的支持本身,可以成为人的分布式能力的一部分。

评价方式怎样继续发展

改善要有值得改善的东西。个人哲学提供生活方向,具体任务把方向展开为可以比较的结果,方法则组织怎样取得和理解这些结果。评价因而也有可修订的内容。

在阅读例子中,把「能打开书」改成「能够接续理解」,是在同一个生活目的下校正代理指标。后来发现自己希望保留探索陌生材料的机会,则可能改变取舍:某些导航步骤帮助形成概览,另一些才是反复恢复背景的负担。再往后,人也可以重新选择希望投入多少阅读、创造与休息。修订可以发生在检查、手段和目的的不同位置。

把原方向、遇到的困难、变化的理由和随后的结果联系起来,评价方式的改变就具有可理解的连续性。双方能够说明新标准看见了什么、过去的标准遗漏了什么,以及新的选择带来哪些所得与代价。模型承担比较、解释和实现,人贡献实际体验、方向与判断;世界通过作品的使用和他人的回应提供进一步材料。

这使「更好」获得具体含义。它可以是更容易察觉关键差异,更能形成可解释的判断,更少重复恢复背景,更可靠地实现一个愿望,或更自由地改变已经不合适的追求。递归改进因此服务于一种生活,也能使组织这份生活的价值解释变得更充分。

Git/GitHub:使变化能够被比较和继续

文学描述和它的工程实现都能够保留版本。Git 让某次文字或程序修改成为可检查的差异,GitHub 让选定的公共作品可以被读取、讨论与继续发展。记录与版本的联系,使模型能够返回当时采用的理解,再比较后来发生了什么。

版本操作 为递归探究提供什么
保存提交 保留某次描述或实现,使后来的比较有确定对象。
查看差异 显出哪项关系、方法或代码发生了变化。
发展分支 给一个值得尝试的替代安排留下可以继续制作的地方。
合并与重新构造 把选中的贡献组织为下一份实际使用的安排。
返回旧版本 在新条件下重新取得旧材料,形成一次新的选择。

这些是保留和构造的手段。一个文件可以容纳多个候选解释,一个解释也可以通过几件作品共同表达。哪一种视图正在被采用,由文字的含义与实际使用说明;版本关系则定位这些表达怎样形成。把选择理由与相应经验接上,版本历史就能帮助理解一次修改的意义。

递归回路与有向无环的提交历史能够同时成立。回路说的是一种功能关系反复返回:作品使方法受检,方法改变下一轮作品。历史说的是每次返回都发生在后来:第一次修改、第一次使用、第二次修订分别取得自己的位置。返回一个问题,产生了新的事件;重新采用旧内容,也可以形成新的提交。Git 的父子边记录版本沿革 [7],反思的含义由这些版本、理由与后果之间的实际联系给出。

修改方法的描述也可以进入同一历史。双方能够比较:先前怎样选择材料,后来为什么改变,这种改变是否在下一次工作中取得了作用。公开哲学、私人理解与实际使用记录由各自适合的地方承载;共同探究按问题连接它们。网页、仓库和本地环境因此分别支持阅读、维护与运行,使自我描述成为可以接续的工作。

凝缩的收益来自已有的解释能力

文学能够让一个意象组织许多相连的活动。「借火」联系取得能力、培养自己与继续创造;「保住线索」联系返回位置、恢复语境与接续理解。读者从短句中展开内容,因为语言、文化、实例和共同经历已经参与了他的理解。

冯·诺伊曼在讨论遗传描述时特别注意到:描述在一个已经组织起来的环境中发挥作用,因此有时只需给出选择与触发的线索,许多工作由既有组织承担 [1]。这为理解短描述与强解释器的配合提供了启发。Yinyang 的文学表达同样把大量展开能力交给已经具备知识和语境理解的参与者。

凝缩的收益需要从整项实践计算。写作和维护更容易,是一项收益;模型更快恢复共同方向,是另一项收益;解释、检查和修复的成本也在其中。一个词若能稳定唤回适切关系,就可以减少散落指令之间的协调工作;若新的差别要求展开,长文、例子和原始材料提供继续理解的空间。

因此,好的凝缩同时具有组织力与展开力:能够把多处做法放回同一关系,也能够在关键处展开其理由和条件。它保留会改变判断的差异,把其余细节交给当前能够承担它们的解释器与环境。修改一组核心关系,因而可能带动许多相关活动共同改变。

这也说明复杂性在哪里。描述可以简洁,因为解释器、身体、工具与共同历史承担了其他组织工作。我们考察的是这份分工能否以可承受的成本持续工作,以及新问题出现时能否找到并改变有关关系。文学由此成为实际的修订手段:容易返回,容易重写,又能生成新的安排。

与变化中的解释器共同发展

语言模型的进展改变了一份描述能够引出的贡献。同样的哲学关系,在更有能力的模型与新工具那里,可能展开为此前难以实现的作品。人机共同体通过识别这种可能、选择和接入能力、重新安排协作,把外部进展转化为自己的工作条件。

这就是反向对齐的一种具体形式。人发展如何同生成能力共同创造的理解,模型根据个人描述调整贡献,双方重新选择哪些事由谁承担。此前需要逐项规定的工作,可以逐渐交给更清楚的目的与关系;人的注意则有机会进入新的感知、比较和创造。

外部模型升级与本地方法的发展,在同一实践中相互支持。说明一次改善时,保留所用模型、工具、材料与参与条件,便能更清楚地理解哪些能力来自新的支持,哪些关系是在共同工作中形成的。人的身体、习惯与环境各有变化节律,个人描述把它们接在可以持续返回的时间中。

Yinyang 的 RSI 因而以这个人及其实际支持关系为发展的中心。文学使有关自身的理解成为可读的作品,哲学说明为什么这样培养,模型和工程使它取得功能,具身的实验哲学让后果继续参与论证。创造改变作品,也改变创造者;当这种改变进一步改善了下一次怎样学习、判断和创造,递归自改进就取得了自己的实践内容。

来源及其贡献

  1. John von Neumann,Arthur W. Burks 编(1966),Theory of Self-Reproducing Automata,第五讲,印刷页 75–87。75–77 页讨论构造部件与环境,78–80 页讨论复杂性的临界规模,84–85 页构造 A/B/C 自复制组织,86–87 页加入 D 并讨论可遗传变化,79 页及后文联系描述与已有组织。公开扫描本。本章据此发展描述与支持环境的功能比较。
  2. Stephen Cole Kleene(1938),On Notation for Ordinal Numbers,§2,印刷页 153。DOI。以自身编号为参数的有效构造。
  3. Yiannis N. Moschovakis(2010),Kleene’s Amazing Second Recursion Theorem,印刷页 190 的定理陈述,以及 §1、定理 1.1,192–193 页。作者全文。有效自指与输出自身描述的具体构造。
  4. Jürgen Schmidhuber(2006,v5),Gödel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements,§4.1、定理 4.1(印刷页 11),§4.3(12 页)及 §6.1(15–16 页)。所读版本。效用比较包含继续搜索的机会成本,修改可以涉及改进程序本身。这里借用这种问题结构,发展以解释、实践和后续结果为根据的人机方法。
  5. Roman V. Yampolskiy(2015),From Seed AI to Technological Singularity via Recursively Self-Improving Software,§§1–2,PDF 页 2–4。论文。区分自修改、表现改善与后续改进能力的变化。
  6. Meghyn Bienvenu 与 Camille Bourgaux,修复与查询语义的定义,§3。作者稿。本章沿用偏好一文的局部形式例子,再考察这些选择规则怎样成为修订对象。
  7. Git 项目,Git Glossary,DAG、commit、branch、merge 等条目。官方术语表。版本祖先关系为历史定位提供技术含义;版本与生活后果的联系由实际材料说明。
  8. Jiang Zhang、Bing Yuan 与 Qian Zhang(2026),Self-Referential Introspection in Large Language Models: The Critical Threshold for Recursive Self-Improvement,v2,2026-09-18,§§3.3–3.4 及附录 A–C,尤其 H1/H2、定义 A6、定义 A8–A11。所读版本。论文提出读取自身描述、模拟、评价与修改的程序构造;本文借其功能问题发展人机耦合版本,并在上文区分实践论证与形式结论所需的前提。