第三十九章 创造者不只是人或机器：
复合体怎样形成
39.1 人的问题史与AI的候选生成
共同创造不从一个空白输入框开始。人在输入第一句话之前，已经经历了问题的发生史：为什么这一现象令他不满足，哪些解释已经失效，哪些尝试没有成功，什么事情值得继续投入。若这些材料没有进入共同活动，AI面对的只是一个被压缩后的要求。它可以回应要求，却未必进入了使这个问题成为问题的关键纠缠。
本书的起点就是一个可见例子。最初的问题与获奖期待有关，随后被改写为基础信息与完整知识的区别，又进一步明确三门根学科及其SDE发生学根基。若只把最后题名交给写作者，而没有传递这些修正，就容易得到一本“AI时代多学数学、逻辑和符号”的一般劝学书。题名相同，问题并不相同。
因此，人的问题史不是写作前的闲聊，而是知识发生的重要材料。它包括被拒绝的旧前提、不能再次使用的简化、必须推进的新命题。例如，本书明确拒绝“基础已经学好，再补创造力”的预设；也拒绝把数学只写成计算和优化。这些拒绝限定了候选的空间，决定哪些表达虽然流畅却没有完成当前任务。
AI的候选生成则提供另一种作用。它可以在已经给定的材料中提出章节结构、比较案例、形成形式化尝试或暴露不一致。候选越多不一定越好，关键是候选之间有没有能改变问题的差异。五种措辞近似的标题，未必比一个有力反例更能推动研究。
人的选择也不能被浪漫化为不受条件影响的纯主权。选择发生在既有经验、可见候选、时间资源和评价方式之中。若AI只提供同一思路的变体，人的选择空间仍然很窄；若人只奖励迎合原观点的输出，系统也会朝确认旧答案的方向组织。复合创造需要同时研究候选如何形成与选择如何发生。
一个可操作的起点，是在调用AI之前写出问题的三层记录：当前困境是什么，已经不接受哪些解释，什么结果会使自己承认问题得到推进。这里不要求一开始就有精确答案，恰恰允许尚未清楚的部分被保留。记录的作用是避免每次交流都被最新措辞重新带走，而忘记原来的研究负担。
随后再要求候选分别回应这些负担。一个候选可能概念新但难以检验，另一个具有清楚模型却遗漏三界关系，还有一个易于教学但把发生重新变成步骤。比较不以“更像一本书”为终点，而以哪些关系得到实质展开为依据。人的判断由此成为可以被解释的发生环节，而不是对机器结果的最后盖章。
共同创造也需要允许人的问题发生改变。初始要求不是不可触动的命令源。如果新的反例表明原命题过强，复合体应当能够提出修正，并明确修正改变了什么。尊重作者并不等于替作者消除所有挑战；真正的协作，是使作者的重要问题获得更强表达与更可靠的检验。
39.2 工具与材料如何参与纠缠
人与AI对话并不自动形成充分的研究复合体。若任务涉及数学模型，还需要可运行程序、明确的数据结构与可以检查的证明；若涉及真实课堂，还需要学习材料、教师组织与学生作品；若涉及空间设计，还需要实际尺寸与使用反馈。工具与材料不是被动背景，它们会改变什么差异能够显露。
本书的有限模型检查就是一个具体例子。语言论述可以提出“任意两维决定第三维是否足以保证结合律”的问题，程序可以穷举小规模运算表，明确的反例又促使正文重新区分互定性与结合性。这里不是机器算完以后给观点贴上数字，而是计算结果改变了论证应当承担的内容。[14][16]
同时，程序并不自动构成独立判断者。代码由谁编写，检查的性质是什么，输入空间是否覆盖所声称的范围，输出怎样解释，都需要说明。若程序只验证自己事先写入的结论，运行成功可能没有新增证据。工具参与纠缠的意义，在于能够对原先表达施加可辨认的限制，而不是提供一个看起来客观的标记。
材料也会反过来塑造概念。纸卡的颜色容易改变，形状需要重新绘制，摆放顺序可以即时调整；这些操作条件影响了学生怎样尝试分类。换成数字卡片以后，复制与撤销更方便，但触摸、空间占位和多人共同观看的方式可能改变。不能假定同一任务文字在不同材料上具有完全相同的发生条件。
由此，教学设计需要记录工具的具体角色。AI承担候选生成，纸卡承担可操作差异，程序承担有限关系检查，教师承担任务边界与解释协商。角色可以变化，但不能被一个笼统的“AI赋能”覆盖。只有看清哪些作用由哪些环节承担，才有可能在工具失效或更换时保持知识活动的连续性。
文件和版本管理也是知识工具。一个概念经历三次修订，若旧版本被覆盖，后来者就无法辨认为什么要改变；若所有版本没有说明地堆在一起，也会造成混乱。可追溯的版本需要把变化与理由接在一起，让新的显露能够回到相应差异序列，而不是只有日期和文件名。
工具参与并不等于责任消散。计算器参与计算，不能替使用者决定是否把不合适的数值用于现实任务；检索工具找到文章，不能替研究者确认引用真的支持断言。复合体可以分担操作，却仍需明确谁承担关键判断，尤其是面向他人使用时的范围说明与纠错义务。
因此，复合体的形成不是把人、AI、软件、文件列成一张资源表，而是这些参与者之间建立了能相互改变的关系。一个反例能否改变正文，一个材料限制能否改变任务，一个人的疑问能否改变模型，都是这种关系的具体检验。若任何反馈都不能进入最终结果，所谓复合只剩并列使用。
39.3 判断怎样在不同层级分工
创造任务包含不同粒度的判断。作者需要判断母题是否准确，章节是否推进了问题；程序可以检查字数、编号或有限关系；审稿者可以检查论证与来源；读者可以检验某个概念是否能够被理解和使用。把所有判断集中到一个人逐字逐步执行，并不必然更可靠，也可能使关键问题淹没在细节中。
分工的前提是明确封装的可靠性。某项重复检查已经有清楚规则和稳定程序，可以被暂时封装，让人把注意力转向更高层问题。可是，封装不是因为系统宣称自己可靠，而是因为已有试用、测试、错误记录和适用边界。封装条件改变时，相关判断必须能够被重新打开。
以本书的字数为例，程序可以按照公开规则计算主文汉字，排除标题、参考说明和标点。这个数字比凭页数猜测更可靠，但它只回答实际写了多少，不回答写得是否有深度。将字数判断交给程序，可以节省重复劳动；把质量判断一并交给字数，则会产生新的指标替代。
形式检查也有层级。检查所有三元素运算表的结合性，是一个有限且明确的任务；确认一个关于任意集合的证明是否完整，则需要不同审查。两者可以合作：小规模反例帮助发现问题，一般证明说明性质为何成立。但是，有限程序的成功不能被封装成“所有数学关系均已验证”。
在多智能体系统真正可用时，也需要类似分工。不同智能体应当获得明确任务、版本一致的理论契约和独立需要检查的对象；它们的意见必须保留依据，而不能只交一个分数。多个角色如果共享同一错误摘要，或者互相复制结论，数量增加并不自动产生独立性。
本次写作没有实际调用独立写作智能体。实际完成的是一个主笔过程，以及由多个程序进程执行的有限模型和文档检查。任务包的建立是未来分工的准备，不是已完成分工的证据。这一限制必须写清，因为本书正研究显露信息与完整知识之间的区别，不能在自身生产记录中制造相反的幻觉。
分层判断还应当规定冲突怎样处理。程序报告编号正确而作者发现概念错误，应当修改概念，不能用格式通过抵消理论问题；两位审稿者意见相反，应当回到具体前提和证据，不能简单平均。不同层级的判断回答不同问题，只有明确对象，才能形成相互支持而非相互压制。
这种机制可以用“局部封装、关键重开、责任可追溯”概括。局部封装使高速成为可能，关键重开避免系统把未知掩埋，责任可追溯使错误能够进入下一轮修复。创造不是所有人永远亲手重做全部过程，而是在可依赖的封装与必要的重新发生之间保持灵活关系。
39.4 复合创造怎样反过来改变人的能力
一份作品完成以后，复合体可以暂时解散，但人的能力是否改变，仍是另一个问题。若全部关键判断都由AI给出，使用者只是选择最顺眼的版本，那么作品可能很好，个人却未必能够处理下一次相似任务。反过来，一次没有产生满意成品的探索，也可能使人获得新的问题辨认与检验能力。
因此，能力回写需要被设计，而不是寄望于长期使用自然发生。每次共同任务结束时，可以让学习者独立说明三个关键改变：最初把什么当作对象，后来哪一个差异迫使对象改变，最终新关系为什么比旧关系更能承担任务。这不是要求背出全部聊天记录，而是辨认自己参与过的发生。
这种说明可以具有非文字形态。学生可以重新摆放卡片，演示两种运算次序，画出不同的连接，或者用一个反例指出旧规则的边界。若只能用长篇术语说明才被承认，教育会再次偏向表达优势，而忽略实际理解。发生性认知要求关系可被进入，不要求所有人使用同一种表达载体。
第二个回写入口是延迟重开。完成任务一段时间以后，重新给出变化条件，让学习者在没有原对话全文提示的情况下工作。观察他是否知道从哪里检查、何时调用工具、何时承认不确定。真正的根知识未必表现为记住每个细节，而可能表现为能够选择适当的重新进入方式。
第三个入口是角色转换。原来接受解释的人，可以尝试为另一位初学者设计材料；原来使用程序的人，可以说明程序会漏掉哪些情况；原来提出候选的人，可以检查别人的候选。角色转换改变了D与E，使同一知识需要在新的关系中成立。它能够暴露原先被共同工作掩盖的理解缺口。
复合体能力也需要保留，而不能只测个人脱离工具的表现。现实创造常常依赖公共知识与工具封装。一个人善于提出问题、选择可靠工具、辨认其边界并整合结果，这本身也是重要能力。关键是区分这种复合能力与个人独立推演能力，分别评价，而不是只承认其中一种。
主体性在复合活动中体现为能够继续提出、承担和修正问题，包括拒绝与原问题无关的AI建议。人的问题史、工具检验、分层判断与能力回写共同构成复合创造。下一章进一步研究这一过程中概念、逻辑和结构如何互相改写，而非分别完成后再拼接。
章末来源与论证身份
[4]作者关于SDE发生学、复合创造及本书生产要求的理论建构。[14][16]有限数学检查的实际执行记录。关于分层判断、任务分工与能力回写的内容为本书研究设计；本次独立写作智能体调用数为零，程序并行检查不等于独立学术审稿。