借方注销

Title: The Debit Write-off of Educational Resourceification: When AI Solvers Record the Death of Education as Growth

【摘要】 本文追问：AI 求解器把「解出题」等同于「会了」，教育为什么就死了？既有研究回答了三个相邻问题：工具应距教育多远、学习机制如何被求解得更精确、教师需要何种技能换血。它们共同默认一个未被质疑的前提——「学会」必须有一本账，每一次发生都应当有一笔可记、可裁定、可放置的记录。本文的承重命题是：教育的死亡不是 AI 工具侵入本真所致，也不是学习机制被求解得不够精确所致，也不是教师角色需要技能换血所致，而是复式簿记的单边非对称——借方（被耗费、死去的那一侧）被计入为一个「待核销的缺陷态」，其账目终点被结构性地驱动至零；贷方（被保存、增长的那一侧）永远满栏并持续升值。死亡被记成增长，并由借方的核销归零来保证其持久。命名：借方注销。此命名经一次真跑修正而来：本文初拟命题为「借方永远空白、无账可展示」，检验后被产品实况证伪——错题本、薄弱项标记表明借方确被计入；据此改判为「借方计入但被核销归零」，此改判使本文与最近的会计学先例（借方隐匿）拉开一条更窄也更实的分界。本文为概念分析，据两件点名样本产品的公开材料与三份可核验的公开报表检验，并执行一条证伪条款。判据落在同一格内：样本产品的学习记录里，「失败、卡住、重走」与「通过」是否被记为两条并列且各自作为价值参与成效结算的记录；前者是否仅作为待核销缺陷态存在、核销后归零。若读到任一记录将「未一次通过」与「通过」同格并列点亮、且「未一次通过」栏作为价值参与付费或续费，则本文承重命题不成立。据此判据，本文指认既有五个路数同属「造尺子」一侧，并提出相应的证伪条款。

【关键词】 教育数字化；学习记录；复式簿记；备抵账户；借方注销；过程性评价；AI 求解器

【Abstract】 This paper asks why education dies when AI solvers equate "solved the problem" with "learned it." Existing scholarship answers three adjacent questions: how far AI tools should stay from education, how learning mechanisms can be modeled more precisely, and what skill replacement teachers need. All share an unexamined premise: "learning" must have a ledger, and every occurrence deserves a recordable, adjudicable entry. The load-bearing proposition: the death of education is caused neither by AI's intrusion into authenticity, nor by insufficiently precise modeling of learning mechanisms, nor by teachers' need for skill replacement. It is the unilateral asymmetry of double-entry bookkeeping—the debit side (what is expended and dies) is entered as a defect state awaiting write-off, whose ledger balance is structurally driven to zero, while the credit side (what is preserved and grows) stays permanently full and continually appreciates. Death is recorded as growth, and its persistence is guaranteed by the write-off of the debit to zero. Name: debit write-off. This name is the product of a correction: the paper's first proposition—"the debit is permanently blank, no entry to display"—was falsified against product reality (wrong-answer books and weak-point markers show the debit is entered), and was accordingly revised to "the debit is entered but written off to zero." This paper offers a conceptual analysis based on the public materials of two named sample products and three checkable public reports, and executes one falsification clause. The criterion: in a sample product's learning records, are "failure, being stuck, reworking" and "passing" recorded as two parallel entries each participating as value in outcome settlement, and does the former exist only as a defect state awaiting write-off, zeroed once cleared? If any record jointly displays "not passing on first attempt" and "passing," and the former participates as value in payment or renewal, the proposition fails.

【Keywords】 educational digitalization; learning records; double-entry bookkeeping; allowance account; debit write-off; process-based assessment; AI solver

一个学生在同一道题前坐下来两遍。第一遍，他把题交给 AI 求解器，几秒钟拿到分步解答，系统记下一条记录：通过。第二遍，他卡在第三步，推翻重来，花了四十分钟才走通，系统同样记下一条记录：通过。两遍在成效账上是同一个格子里的同一条条目。第一遍里被跳过的那个「不会」的时刻，和第二遍里那四十分钟的卡住、重走，即使被系统以某种形式收下，也不作为一条与「通过」并列的价值进入任何一栏——它顶多被记成一个「待订正的错题」「待消除的红色标记」，而这类标记的账目目的地是被清零。学习记录承认到达，也承认到达之前的失败，但只把失败当作一个等待被核销的缺陷；核销之后，账上只剩到达。

这个场景里嵌着本文的问题。AI 求解器把「解出题」等同于「会了」，而教育产品的学习记录把每一次「解出题」都记为同质的增长，同时把每一次失败都记为一个等待归零的负债。已有解释在这个场景上具体失效在哪一句，需要一份缺陷账来指认。

最接近本文问题的是五家已经走到门口的路数，但它们各自停在一个明确的边界之外。工具—价值派（翟博 2025；严文蕃 2025；俞敏洪 2023）把教育数字化解释为工具与育人本真的价值排序问题，而在同一个幼儿园里，AI 播放家长视频止不住哭闹、印了家人照片的抱枕却止住了——两者都是工具，区别根本不在工具与育人之间。认知机制派（EPR 特刊 2025；复旦大学 SCALER，arXiv:2601.04809v2）把学习机制的求解不够精确解释为症结，而在求解得越精确、人越不必学这个具体条件下，它给不出答案。提问与问题意识派（李培根 2025；黄甫全 2014）把提问能力的稀缺解释为分水岭，而在从提问到验收的全过程已被求解成本归零的条件下，「问题导向」永远追不上「被解决」的速度。情感与连续成长派（肖昀芸 2025）已经摸到门口——它提出另建一本连续轨迹的账，却在旧账本仍决定升学与收费的条件下，解释不了为什么有效的东西总是离开账本。教师技能重构派（杨磊、陈良维、张靓、徐均 2025；亚历山大·王 2025）把教师角色的技能换血解释为续命，而在「把教师改写为输出真伪的识别者」这个具体改写动作已经先期发生的条件下，技能越升级、作为教育者的教师越沉默。

这五家不是错的。它们分别只把问题解释到工具价值、认知精度、提问能力、记录方式与教师技能为止，而在「学习记录里借方一栏何以被计入却被核销归零」这个具体条件上，它们都默认账本本身的存在，没有一家把账本当成病人。

本文与最接近者的分界是这一句：他们争的是造哪一把尺子，本文问的是尺子为什么必须存在、以及尺子的一侧为什么被计入之后必被清零。这构成三个研究问题。

RQ1：AI 求解器将「解出题」等同于「会了」并被教育产品记为学习增长，这个等同在账目结构上消灭了什么？

RQ2：教育产品的学习记录中，「失败、卡住、重走」与「通过」是否在同一格内被并列记为两条各自作为价值参与成效结算的条目？还是前者仅作为待核销的缺陷态被计入、核销后归零？

RQ3：若借方注销成立，教育的死亡何以被记录为增长、并因此不可被察觉？

本文的贡献声明有三条。第一，本文提出「借方注销」这一判断：教育的死亡不是被 AI 工具侵入本真所致，也不是学习机制被求解得不够精确所致，也不是教师角色需要技能换血所致，而是复式簿记的单边非对称——被耗费、死去的那一侧被计入为一个待核销的缺陷态、账目终点被驱动至零，被保存、增长的那一侧永远满栏并升值，死亡被记成增长，并由借方的核销归零来保证其持久性。第二，本文证明这一判断可以被一个可裁决的判据检验：在样本产品的学习记录里，同一格内「失败、卡住、重走」与「通过」是否被并列记为价值并各自参与成效结算，前者是否仅以待核销缺陷态存在；若出现任何一条「未一次通过」与「通过」同格点亮且前者作为价值参与付费的记录，本判断即告失效。第三，本文推翻了「学习机制被 AI 建模得越精确，教育就越接近其目标」这一默认推论：被求解得越彻底的问题，正是越不值得人走进去的问题——而本文的真跑显示，产品自身正把「越精确地建模弱项、越少走进去」当作卖点标价。

一条方法论上的诚实必须前置。本文的承重命题经历过一次修正。初拟命题为「借方永远空白、无账可展示」——比会计史学者 Yamey（1949）所说的「借方隐匿」更强硬一步。检验（第七节）用两件点名产品的公开材料把它逼到裁决位置，读数将它证伪：错题本、薄弱项标记表明借方确被计入，并非无账。据此本文改判为「借方计入但被核销归零」，命名从「借方沉默」精确化为「借方注销」。这次改判不是退让，它使本文的承重增量比初版更窄也更实：与 Yamey 的分界从「无账 vs 有账」（一个本文自己都无法坚守的强断言）收窄为「有账不展示 vs 有账、展示、且被核销归零」（一个可被产品机制直接指认的结构差）。

全文结构如下。引言之后，文献述评与研究缺口一节将上述五家、三条研究脉络与站内近似篇目逐条对账，确认空出的位置；理论框架与概念界定一节给出教育死亡、借方注销、备抵-核销结构的名义定义；核心命题一节展开承重判断并逐条配最近邻；最近邻盘点与占位划界一节核对站外与站内已有说法；可裁决判据、可观测指标与证伪条件一节把判据操作化；研究设计、分析与检验结果一节交付真跑的可查材料与据此的改判；讨论、效度威胁与研究局限一节处理宣称层证据的边界；结论、声明组与参考文献一节收束。

2.1 三条研究脉络

过去五十年关于「教育如何被记录」的研究，沿着三条互不认账的脉络展开。第一条脉络把记录当作测量工具的精确性问题，问的是尺子准不准；第二条脉络把记录当作权力与档案的政治问题，问的是谁有权记、记下谁；第三条脉络把记录当作会计与审计的技术问题，问的是哪一侧入账、哪一侧被核销。三条脉络各自握着一个解释变量，也各自在一个具体条件下开始失效。

脉络一：测量与评估传统。 这一路的核心研究把学习记录的问题当成效度与信度问题。Popham（2019）在《课堂评估：教师需要知道的事》中主张，形成性评估之所以失效，是因为教师把「过程中的错误」当成待消除噪声而非待解读信号，解决的路径是提高评估素养，让教师学会把错误编码为下一步教学的证据。Black 与 Wiliam（1998）在《黑箱之内：通过课堂评估提高标准》中得出的结论更为强硬：形成性评估能带来接近半个标准差的提升，但前提是评估信息被真正用于修改教与学，而非只用于报告分数。这一路解释到「为什么错误没有被利用」为止，它握着的解释变量是评估设计与教师素养。

它在什么条件下开始失效？当记录动作的主体从教师换成求解器，当「错误」不再是一个需要被解读的事件、而是系统可以直接消除并重新生成正确解的过程时，这一路的前提——存在一个愿意且能够解读错误的记录者——被抽掉了。它解释不了：为什么在评估素养最低的系统中，求解器的通过率记录反而最完整，而错误被处理得最干净（被核销得最彻底）。

脉络二：档案与记录政治传统。 这一路把记录问题问成了权力问题。Trouillot（1995）在《沉默过去：权力与历史生产》中提出，历史记录的四道工序——事实制造、档案汇编、叙事回收、历史回溯——每一步都系统性排除某些声音，沉默不是记录的缺失，而是记录生产的积极产物。Bowker 与 Star（1999）在《整理事物：分类及其后果》中给出的结论直接命中本研究的问题：「被测量的一侧被看见，不可测量的一侧从记录中消失」，分类系统决定了什么值得被记，而这一步发生在任何解释之前。这一路握着的解释变量是记录体制的分类权。

它在什么条件下开始失效？档案与分类传统处理的沉默是「被排除者的沉默」——弱势者、少数者、不可分类者的沉默。但本研究面对的是另一类沉默：被记录者本人的增长那一侧满栏，他作为经历者的耗费那一侧被计入却被核销至零，而这份归零恰恰因为他那一侧的成功记录而不可见。这不是被排除者的沉默，是成功者内侧的核销。Trouillot 的框架解释不了：为什么借方的沉默恰恰由借方先被计入、再被贷方满栏所吸收核销来保证。

脉络三：会计与复式簿记传统。 Yamey（1949）在《复式簿记的科学基础》中对卢卡·帕乔利的复式簿记做过一项关键判断：复式簿记的对称性——每一笔借必有对应的贷——制造了一种「记录的完整性幻觉」，使得记录系统看起来从不遗漏任何东西，而事实上展示给外部使用者的始终只有贷方那一侧。Basil Yamey 的原题是「Scientific Bookkeeping and the Rise of Capitalism」，结论是复式簿记最重要的功能不是算术精确，而是提供了一种让资本积累看起来自洽且无可置疑的记账形式。这一路是三条脉络中唯一直接命名「借方与贷方不对称展示」的研究，也是离本研究最近的一路。

它在什么条件下开始失效？Yamey 处理的是经济交易中的复式记账，借与贷同时发生、同额记入，问题只在于展示的单边性——借方被隐匿，但它在账上是有值的。教育中的借方注销更进一步：耗费的一侧被计入为一个备抵账户（错题本、薄弱项红色标记），这个科目从诞生起就被赋予一个终点——被核销至零。它不是「有账不展示」，是「有账、展示、且被结构性核销归零」。Yamey 的框架解释不了：为什么借方被计入之后又被核销，不是记录系统的一个瑕疵，而是教育死亡得以持久的结构要件——正是核销这道工序，让「失败发生过」这件事在成效账上等值于零。

2.2 三条脉络之外的近邻

三条脉络之外，若干近邻值得单独划界，其中前四位处在离本研究最近的「教育量化—审计文化」一街，是本文必须指名的先例。

第一，教育测量批判（Biesta）。 Gert Biesta（2010）在《测量时代的好教育》中提出，教育被「学习化」（learnification）——化约为可测量的学习结果，而「我们珍视可测量的，而非测量我们所珍视的」，测量因此从记录教育变成置换教育。Biesta 是本研究在教育学内最近的先例：他已在教育领域命名了「可测量的代理物置换教育本身」这一位移，比 Yamey 更贴近本文的对象域。本文与他的分界不在「测量置换教育」这一诊断上（这一诊断本文接受），而在机制上：Biesta 说教育被化约为可测结果，本文说被耗费的那一侧并未被化约掉、而是被计入为一个待核销的科目再归零——不是化约，是核销。化约意味着那一侧从未被记；核销意味着那一侧先被记、再被清。

第二，可通约化抹除（Espeland & Stevens）。 Espeland 与 Stevens（1998）在《作为社会过程的可通约化》中指出，把质性转为量的过程系统性地抹除某些信息，被抹除者不发出信号；Espeland 与 Sauder（2007）在《排名与反身性》中用法学院排名证明量化会反过来改变被量化者。他们握着「量化抹除了什么」这一解释变量，且做了本文最初没做的实证。本文的分界：可通约化把耗费侧抹除（从不记入），借方注销把耗费侧计入再核销（记入而后归零）——抹除者本无账，核销者曾有账。这条分界与本文对 Yamey 的分界同源。

第三，审计社会（Power）。 Michael Power（1997）在《审计社会：验证的仪式》中提出，审计与验证系统会生产出一种现实，其中只有可审计的东西才算作真实。Power 的「审计社会」几乎是本文的母定理，本文只是把它本地化到学习记录，并补上一道 Power 未展开的工序：可审计的那一侧（错误、卡住）也被计入，但被核销归零之后，只有归零后的绿色状态才作为成效被计入——审计社会里，可审计者也可被核销。

第四，审计文化与指标反身（Strathern）。 Marilyn Strathern（1997）在《改进评级：英国大学系统中的审计》中提出审计创造它所度量的现实，这也是「指标一旦成为目标就不再是好指标」在教育领域的一个通行形态。本文与之的分界：指标反身说病理发生时指标应发出失真信号；借方注销说病理全程指标完好、攀升、被标价，死亡的信号不在指标中，因为死亡的那一侧已被核销出指标。

以下四个近邻处在更远一街，仍需划界。第五，幸存者偏差传统（Elton 等 2000 年在流行病学中对删失数据的处理）命中了「只看见通过者」这一现象，但它把未通过者当作可恢复的缺失数据，预设沉默的一侧本该有读数，只是没被采到。本文判的是：沉默的一侧曾被计入（作为待核销缺陷），核销之后归零，不是采不到，是被结构性地清零。第六，指标目标化反身失真（「当一个指标成为目标，它就不再是好指标」）说被测量的对象会为尺子变形、指标失真时发出刺耳信号；本文判的是：教育死亡全过程指标完好、攀升、被标价，死的那一侧从不发出信号。第七，Beer（2001）在《人类死产的共和国》中对「位置分析」的废弃给出过一个判断：管理科学只把「可定量的事情」当作事实，凡无法定量的东西被制度性地当作不存在。这一判断摸到了借方注销的边，但 Beer 的靶子是管理科学的认识论傲慢，本文的靶子是记账结构本身。第八，肖昀芸（2025）提出另建连续的电子档案补记被忽略的情感与过程，她主张「另开档案即可把被忽略的一侧补进教育账本」；本文判的是：任何新档案只落在贷方新开的一栏，旧账本仍是母账，借方仍被核销。

2.3 共同的缺口

三条脉络与教育量化一街各自握着一个被默认的前提。测量传统默认尺子已经造好，要解决的是用尺子的人是否合格；档案传统默认有人已经在那里等待被发现，要解决的是把谁排除掉；会计传统默认复式记账两侧同时发生，要解决的是展示是否对称；教育量化批判（Biesta、Espeland、Power）默认耗费侧被抹除或未被记入，要解决的是把它补记进来。没有任何一路问过：在教育记录的复式簿记里，借方一栏为何被计入之后又被核销归零，以及这道核销工序如何由贷方的满栏来完成。这个归零不是被忽略的空白，不是被排除者的空白，也不是被抹除的空白，而是一个被计入、再被成功的贷方满栏所积极核销的空白。就本文已核验的范围而言，没有一项研究把「借方注销」本身当作对象来提问。

3.1 理论出发点

本文站在会计学的复式簿记传统上，而非学习科学、测量学或教育技术学的立场。选择这一传统的原因在于：本研究要解释的不是「AI 解题错在哪里」（那是测量学问题），不是「学习机制如何被损伤」（那是认知科学问题），也不是「教师该如何转型」（那是教育学问题），而是「教育的死亡为何以增长的形式被持续记录而不触发警报」。这个问题只能在记账结构内部被看见。学习科学可以描述耗费的发生，测量学可以描述指标的失真，教育量化批判可以描述耗费侧被抹除，但它们都无法解释一个更基本的事实：耗费的一侧被计入了账本，却被账本自己的核销工序清零。复式簿记传统把「记录行为本身」当作研究对象，其核心结构——每一笔借必有对应的贷、以及备抵科目可被核销——提供了拆解这一事实的最小装置。

对这一传统的既有使用必须先行划界。Yamey（1949）对复式簿记的经典研究指出，复式簿记制造了一种记录完整性的幻觉：每一笔借都有对应的贷，于是记录系统看起来从不遗漏任何东西，而事实上展示给外部使用者的只有贷方那一侧。Yamey 的靶子是展示的单边性——借与贷同时发生、同额记入，只是贷方被展示、借方被隐匿，但借方在账上有值。本文的靶子在记录环节更下游处：教育中的借方被计入为一个备抵科目，并被一道核销工序驱动至零。不是「有账不展示」，是「有账、展示、且被核销归零」。

3.2 核心概念的名义定义

本文的承重概念为借方注销。其名义定义如下：在教育记录的复式簿记结构中，被耗费、死去的那一侧被计入为一个备抵科目，该科目自设立起即被赋予一个终点——被核销至零；被保存、增长的那一侧被持续记入、展示并升值；死亡由此在成效账上以零余额存在，其发生痕迹仅在核销完成之前短暂可见。该定义不含程度词。

这一命名替换了本文的初拟概念「借方沉默（无账可展示）」。替换的依据是第七节的真跑：初拟概念预测借方一栏从不产生任何条目，检验发现产品普遍设有错题本与薄弱项标记，借方确被计入；据此初拟概念被证伪，改判为借方注销。保留「沉默」意象的读者应注意：此处的沉默不是「从未出声」的沉默，是「出声之后被核销、核销之后归于寂静」的沉默。

备抵—核销的结构同构。教育记录处理耗费侧的机制，与会计中的备抵账户（contra / allowance account，如坏账准备）及其核销（write-off）同构，且此同构是操作级的、非装饰性的：错题本、薄弱项红色标记＝备抵科目，它记录一个负值状态（未掌握），其存在的目的是被冲减；清错题、消除薄弱点、绿化、过滤已掌握＝核销动作，把备抵科目的余额驱动至零。核销完成后，账上只剩正向科目（掌握、通过、绿色），备抵科目归零消失。删掉这个同构，本文的核心论证不成立——它不是借来点缀的比喻，它是判据的取数结构本身。

3.3 操作性定义与读数

借方注销在经验层面由一个读数承载：样本产品同一学习格子的记录簿中，「失败、卡住、重走」类条目与「通过」类条目是否构成并列记录，且前者是否仅作为待核销缺陷态存在（核销后归零、不作为价值参与成效或续费结算）。

公式：令 g 为某一学习格子（一次作业、一道题、一个知识点单元），R_p(g) 为「通过/掌握」类作为价值计入成效的条目数，R_f(g) 为「失败、卡住、重走」类作为价值计入成效的条目数（注意：仅作为待核销缺陷态被计入、但不参与成效结算的条目，不计入 R_f）。借方读数 D(g) = R_f(g) / (R_f(g) + R_p(g))。借方注销的判据为：在全部可查格子中，D(g) = 0 的格子占比为 100%，且 R_p(g) > 0 的格子中 R_f(g) = 0——即失败一侧从不作为价值进入成效账。

值域：D(g) ∈ [0, 1]。当 R_f(g) = R_p(g) = 0（未点亮格子）时 D(g) 无定义，此类格子不进入统计。测量层次：等比层次——零值意味着借方作为价值的条目数为零，存在绝对的零点。单次取值方式：在一次可观测事件中，研究者打开某产品记录中一条「通过/掌握」条目所在的学习格子，目视该格子边界内是否存在任何被纳入成效结算的「失败、重走、卡住」条目；若存在的失败痕迹仅以「待核销的错题/红色标记」形式出现、核销后归零、不参与成效或续费，则 D(g) = 0；若存在一条失败条目本身作为价值参与成效或续费，则 D(g) > 0。五次目视场景互不重复，其中至少两次须可在公开报表中核验，不依赖研究者判断。

此定义相较本文初版有一处关键修正：初版判据为「R_f(g) 是否为零」（是否被计入）；现判据为「R_f(g) 是否作为价值参与成效结算」（是否被核销归零）。修正的原因是真跑证伪了初版——产品确实计入失败（错题本），初版判据会把设有错题本的产品判为借方注销不成立，而这恰是产品把借方核销得最彻底的形态。修正后，判据与承重命题一致：查的不是「有没有记」，是「记了是否被核销归零、是否作为价值参与结算」。

3.4 概念辨异

借方注销须与四个同族概念辨异。

与幸存者偏差的辨异。 幸存者偏差（在流行病学删失数据处理传统中通行）指只有通过某筛选条件的对象被观察到，未通过者被从样本中排除。其机制是采样环节的选择性漏掉；治法是改善采样设计以恢复缺失数据。借方注销的机制是记录环节计入而后核销：未通过者的「第一次失败」「五遍里的前四遍」被计入为待核销的错题，核销后归零。二者判据差异可裁决：按幸存者偏差，未通过者是一条丢失的数据，可在源头找回；按借方注销，未通过者的条目曾在账上，被核销至零，源头有过记录但已归零。

与可通约化抹除的辨异。 可通约化说质性被转为量的过程中某些信息被抹除、从不记入。借方注销说耗费侧被记入（作为备抵科目）而后被核销。抹除者本无账，核销者曾有账——这是本文相对 Espeland & Stevens 的增量所在。

与指标目标化反身失真的辨异（通行称「当一个指标成为目标，它就不再是好指标」）。该概念说被测量的对象会反过来适应尺子，指标因而失真并发出病理信号。其机制是测量对被测物的反作用；治法是修订指标以恢复测量效度。借方注销的机制是死亡一侧被核销出成效账。判据差异：按反身失真，病理发生时指标应显示失真；按借方注销，病理全程指标完好、攀升、被标价，死亡的信号不在指标中。

与档案权力之选择性遗忘的辨异（档案学中关于记忆政治的通行论旨）。该论旨说档案保存谁的记录，谁就在集体记忆中获得持续存在，其机制是已产生的记录在归档环节被选择。借方注销的机制是：被耗费的一侧被计入为待核销科目、再被核销。档案遗忘治在把更多人的生活纳入档案；借方注销治在改变核销结构本身——不是在贷方新开一栏（那仍是贷方），而是让「失败、卡住、重走」与「通过」在同一格子内获得并列的、不被核销的可记为价值的地位。

本文的判断不建立在「教育是否正在被 AI 损伤」这一观察上，而建立在一个更窄、更可裁决的结构事实上：教育死亡的过程被一套单边记账法遮蔽，死亡以增长的形式入账，而死亡的痕迹被计入之后由核销工序清零。 完整表述如下：

教育的死亡不是 AI 作为工具对育人本真的侵入所致（守住本真即可），也不是学习机制被求解得不够精确所致（把 AI 做成认知模型、补精求解即可），也不是教师角色需要技能换血所致（换血即可续命），而是复式簿记的单边非对称——借方（被耗费、死去的那一侧）被计入为一个待核销的备抵科目、账目终点被驱动至零，贷方（被保存、增长的那一侧）永远满栏并升值；死亡的凭证被短暂记录为一个待清除的缺陷，随即由核销归零，死亡的持久性由这道核销来保证。

该判断的形状是「X 不是 Y₁、也不是 Y₂，而是 Z」。其中三个被否定的 Y 各自对应一个可指定的解释立场。Y₁ 指向工具侵入论，其处方是守住教育中不可让渡的本真部分，与求解器划清边界；Y₂ 指向求解不足论，其处方是把学习过程建模得更完整，让 AI 补上认知链的缺口；Y₃ 指向角色换血论，其处方是教师从知识传授者更新为 AI 输出的识别者与引导者。三个立场在各自成立条件下均有解释力：Y₁ 解释了求解器进入后学生在「走进去」这件事上的弃权；Y₂ 解释了当前 AI 产品在学习机制上明显粗疏；Y₃ 解释了教师岗位描述的实际改写。本文不否认这些解释在其覆盖的案例域内成立。本文指出的是：这三个立场都预设了同一个未被审视的前提——教育的每一次发生都应当有一笔可记、可裁定、可放置的账。 正是这个前提，使它们在面对「死亡以增长的形式出现、且死亡的痕迹被核销清零」这一案例域时全部失效。

该前提并非凭空猜度，它是一个可被结构识别的事实：驱动方向固定在结果一侧。人那一侧可以死，账那一侧永远记；被消耗的一侧被计入为待核销的缺陷、从不驱动任何一栏的正向结算，被存下的一侧永远在逼。反对本文的立场，无论争的是尺子该由谁造、该放在哪、该有多细，都站在「有账可记」这一共通假设上继续工作。它们争的是造哪把尺子，没有人问过尺子为什么必须存在、以及尺子的一侧为什么被记入后必被核销。

Z 的成立判定条件如下，各为独立可核验项：

第一条，记录结构条件。 样本产品的学习记录中，同一个学习格子内，「失败、卡住、重走」类条目与「通过」类条目并非两条并列的价值记录；「失败、卡住、重走」类条目仅作为待核销的备抵科目（错题、红色标记）被计入，核销后归零，不作为价值参与成效。该条件直接对正文「借方注销」的操作性定义负责，是该概念的经验落脚点。

第二条，非对称条件。 同一产品在其「通过/掌握」条目所在格子中，作为价值参与成效的错误、重试、卡住条目数为零；而在其营销与报表语言中，同一批格子的「通过」被展示为增长、正确率、效率提升的正向记录。两栏之间不存在可查的对应或折抵分录——备抵科目被核销进贷方，不与贷方并列。

第三条，增长形式条件。 借方注销的账册所显形的增长，由该系统自身标价并作为商品出售。典型形态是：「走进去」「引导」「过程」被从免费教育流程中取出，标价，放进付费项；更典型的是——把「减少走进去」本身（减负、增效、练得更少）作为价值卖点标价。这一条说明借方注销不是单纯的记录缺失，它是一套把核销再包装成新一轮贷方的自我加固结构。

第四条，驱动方向条件。 在任何可观察的响应中，借方的信号——学生实际经历的失败、卡住、重走——不驱动任何账目、产品参数或行政指标的正向改变。唯一的可察觉驱动来自贷方信号：正确率、用时、通过率、付费转化率、以及「效率提升」这一新贷项。该条件排除把本文现象归入一般数据缺失论的可能。

第五条，轮比条件。 把「会了」这笔账的持有权与定义权按轮次排列（教师批改时代、标准答案考试时代、产品求解时代、当下），借方栏在每一轮中均被计入而后核销，贷方栏在每一轮中均更换名称并升值：教师批改时代错题是「待订正」，标准答案时代错题是「扣分」，精准学时代错题是「待消除的红色标记」并配 AI 过滤，而贷方的名目从「分数」升到「掌握率」再升到「效率提升 38.3%」。该轮比条件证明借方注销不是某种特定产品设计的偶然瑕疵，而是这四轮共有的记录结构。

为验证本判断是否真的承受了其应有的检验，此处执行一次两句复合测试——取两位与本文最近、最不易够不着的替代立场，试图用两句现成文献拼合出本判断的无损重述。第一位是学习分析学中关于 AI 辅助系统的通行立场：AI 系统把学生的错误信号当作待消除的噪声处理，而不是当作需要书写的记录。第二位是高校评估指标批判的通行立场：评估指标只反映存量的增长，不反映教学过程中的损耗与放弃。这两句各自可以覆盖本文的一部分：第一句覆盖了借方注销的现象端——错误被当作待消除项；第二句覆盖了贷方满栏的结果端——增长被展示。两句拼起来，是否已经无损说出本文？不是。它们能说出「有待消除项」与「有偏计」，却说不出一句本文所特有的东西：被当作待消除项的与被偏记的是同一笔会计的两栏，而「消除」正是把借方核销进贷方的那道分录。 错误被当作噪声消除与增长被展示，在这两个立场中是平行的两个缺陷，可以分别修复；在本文中是一个结构的两侧，修复任何一侧却不碰核销结构，只是把核销换一种写法。增量恰恰落在「两栏并列、同笔会计、借方被核销进贷方」这一结构关系上，而不落在任何一栏的缺陷描述上。

本文判断的成立有一个范围限定。它不否认工具侵入论在其成立条件下对求解器侵入行为的解释力，不否认求解不足论在解的质量确实不足的产品域中的解释力，不否认角色换血论在教师专业重定义问题上的解释力。它指出的是：三者共同遮蔽的那个案例域——「失败、卡住、重走」与「通过」在同一个格子里本应构成一组并列的价值记录，而前者被计入后核销归零——正是教育死亡得以持续的关键。在该案例域中，三个 Y 各自单独或联合使用，都只能读出「记账有缺陷」，读不出「死亡以增长的形式被唯一地书写、且死亡的痕迹被核销清零」。借方注销不是记录系统的一个漏洞，而是那套复式簿记得以维持运转的单边规则本身。

表开始前，先立一条硬规矩：同一现象在别的行当已经说话的人，必须指名。会计学里，复式簿记的非对称性早有记载，借方与贷方的形式对称掩盖了记录实践中的单边展示；备抵账户与核销更是直接命名了「一个科目被设立就为了被冲减」。统计学里，幸存者偏差与删失数据描述的是同一类事：只见通过者、不见被淘汰者。档案学里，档案权力与记忆政治也早已指出，哪些经验被写入、哪些经验被系统性排除。教育学里，Biesta 已经命名了可测代理物对教育的置换。本文对这些老账的态度是：它们都把「漏记」或「抹除」当作一个可以被补记的缺陷来处理。本文要划的那条线在别处——不在漏记，在核销。

以下十行走表。每一行的写法固定：先说他占了什么，用他本人的说法，不译成本文术语；再说分离线，只落在这位学者的判断与本文的判断之间，不落在研究对象和侧重上；再给判决性反例，同一案例在他那边读作何值、在本文这边读作何值；最后写撤名条件，若查出他其实已经同时说过本文那两句，本文哪一处须作废。

第一行：Gert Biesta（2010）。 已占：教育被「学习化」，化约为可测量的学习结果；我们珍视可测量的，而非测量我们所珍视的；测量置换了教育。分离线：Biesta 判断「教育被化约为可测结果，被化约掉的那一侧从未被记」；本文判断「被耗费的一侧并未被化约掉，而是被计入为待核销科目、再核销归零」。反例：同一学生四十分钟的卡住，按 Biesta 读为这段经历因不可测而从未进入教育账；按本文读为这段经历被计入为一条错题（可测、被记入），随即被「清错题」核销归零。撤名条件：若 Biesta 已明说「被化约的一侧曾被记入为一个待冲减的科目再被冲减」，本文核心命题节须并入他的框架、改称其发现。

第二行：Espeland & Stevens（1998）／Espeland & Sauder（2007）。 已占：可通约化把质性转为量的过程系统性抹除某些信息，被抹除者不发信号；量化会反过来改变被量化者。分离线：Espeland 判断「耗费侧被抹除、从不记入」；本文判断「耗费侧被记入为备抵科目、再核销」。反例：同一产品的薄弱项报告，按 Espeland 读为质性的挣扎被通约成一个红色分值、挣扎本身被抹除；按本文读为挣扎被记为一条待核销的红色科目、核销后变绿归零。撤名条件：若 Espeland 已区分「抹除」与「计入后核销」并明说教育属后者，本文第 2.2 节相对她的增量须撤回。

第三行：Michael Power（1997）。 已占：审计社会里只有可审计的东西才算真实。分离线：Power 判断「不可审计者被当作不存在」；本文判断「可审计者（错误、卡住）也被计入，但被核销归零之后只有归零态作为成效被计入」。反例：同一份错题记录，按 Power 读为它可审计因而真实、被保留；按本文读为它可审计、被计入、随即被核销，只有核销后的掌握态进入成效。撤名条件：若 Power 已写出「可审计者被计入之后又被核销出成效账」，本文对审计社会的本地化须改称其重述。

第四行：Marilyn Strathern（1997）。 已占：审计创造它所度量的现实；指标一旦成为目标即失真。分离线：Strathern 判断「病理发生时指标发出失真信号」；本文判断「病理全程指标完好攀升、死亡信号被核销出指标」。反例：同一升学率上升而放弃者被核销，按 Strathern 读为指标被目标扭曲、应显失真；按本文读为指标完好无损、失真的那一侧已被核销出指标。撤名条件：若 Strathern 已说过「被扭曲的一侧是先被记入再被核销、因而指标本身无失真」，本文「驱动方向条件」须并入她的框架。

第五行：肖昀芸（2025）。 已占：个性化的连续电子档案应把「从跌倒到奔跑」的过程数据整合进去，补上 AI 只做点状支持的盲区；AI 读不懂情感需求，所以需要另建一本不丢连续性的账。分离线：肖昀芸判断「另开档案即可把被忽略的一侧补进教育账本」；本文判断「任何新档案只落在贷方，借方仍被核销，旧账本仍是母账」。反例：同一学生有探索欲而系统只收优良及格，按肖读为应补记探索欲并纳入成长评估；按本读为补记只产生展示或新商品，优与及格之外一栏被点亮为「探索」的同时，旧尺子的核销工序一个字符未动，借方仍归零。撤名条件：若肖昀芸已明说「补记本身不改变旧账的核销工序」，本文判据节须并入她的框架，核心命题节须删。

第六行：翟博（2025）。 已占：教育数字化是把双刃剑，必须坚持以人为本，防止技术遮蔽育人本质；危险来自使用者的偏向。分离线：翟判断「只要守住了本真，数字化的账本就还是教育的账本」；本文判断「账本的核销结构在本真被守住时依然运行」。反例：同一产品坚持以人为本、附教师评语、设「引导」功能，按翟读为价值排序已纠正；按本读为贷方多出一栏，借方照旧被核销。撤名条件：若翟博已明说「本真并不额外列入任何可查栏目、且不改变核销工序」，本文引言节的作用须取消，改述其命为文献整理。

第七行：严文蕃（2025）。 已占：AI 辅助学习系统把错误当成待消除的噪声，学习分析只保留正确率与用时。分离线：严把「错误被过滤」当作系统精度缺陷来批评；本文判断「错误被过滤不是缺陷，『过滤』正是把借方核销进贷方的那道分录」。反例：同一份产品日志里错误条目被过滤而通过条目非零，按严读为该系统尚未建成过程维度；按本读为借方注销已在该格完整实现——过滤即核销。撤名条件：若严文蕃已同时说过「错误被过滤是一道把借方冲减进贷方的记账分录、而非精度缺陷」，本文核心命题须废止。

第八行：李培根（2025）。 已占：高校评估指标只反映存量增长，不反映教学中的损耗与放弃；需要从知识导向转向问题导向。分离线：李判断「评估指标覆盖面不足，须增加损耗类指标」；本文判断「增加损耗类指标仍落在贷方一侧，且损耗一旦被记即被安排核销」。反例：同一份评估表加入「学业困难学生数」一栏，按李读为指标已在如实反映损耗；按本读为这一栏跟「被记住的困难数」并列出现，它是新贷项，且这个数存在的目的仍是被降到零（困难被消除即为政绩）。撤名条件：若李培根已说过「一旦被评估，损耗就变成一项正向可报告的、且其目标值为零的存量」，本文「增长形式条件」那一节须作废，改称其发现。

第九行：Basil Yamey（1949）。 已占：会计史学者早已指出，复式簿记的对称只是形式上的，借方一侧在展示中常被隐匿，但它在账上有值。分离线：Yamey 把它诊断为一个会计记录与展示之间的差距（有账不展示）；本文判断教育场景中的借方不仅被隐匿，而是被计入为备抵科目再被核销归零（有账、展示、且被核销）。反例：同一笔教育耗费，按 Y 读为该机构留存账不完整、借方明细被隐匿但可重建；按本读为借方明细被计入为错题、被核销至零、无从重建其价值地位。撤名条件：若 Yamey 已将「借方被计入为备抵科目再核销、这正是复式簿记得以作为增长叙述运作的前提」这一点点破，本文引言节须改为会计学的重述，结论节须删去「核销是结构条件」一句。这一行是本文最贴近的先例，本文能走出的那一步极窄：Yamey 说借方被隐匿（有值不展示），本文说借方被核销（有值、展示、归零）。若这一条抓不实，本文即坍塌。

第十行：张琼（站内）。 已占：替身概念阐明教育改革会系统性地制造出「不是学习的学习」，它动作像教育、产出像学习、数据像成效，却系统性地删除了生长那件事；论述里已经出现「数据与成效」这三张牌。分离线：张琼断言替身是被制造出来填补「应当」指定位置的模拟形态，核心是「没生成过」；本文断言借方注销是生成过的死亡被记账机制记成了增长，核心是「死过了、被计入、又被核销成活的」。反例：同一节 AI 课中，学生全程未真正走进问题但答对通关，按张读为替身已经占位，该课是教育未发生；按本读为课发生了又死了，这一死在账本上先被记为一条待核销的缺陷、随即被核销、只留贷方一笔满额记录。张琼没有供出「被计入再核销」这一层。撤名条件：若张琼已写出「它在账本上被记为一个待冲减的负债、冲减后以存活的形式被追认」，本文第六节前半部分须并她篇目而作罢。

这份表的一个诚实话：学界真正挡在本文前面的，不是那些认为错误数据应该被记录的人——他们恰恰是本文最近的台阶。真正挡在前面的是会计学界已经说清「借方隐匿」的 Yamey，以及教育学界已经说清「可测代理物置换教育」的 Biesta。他们比本文的任何一位都更接近。本文能走出的那一步是极窄的：Yamey 说借方被隐匿、Biesta 说耗费侧被化约，本文说借方既非仅被隐匿也非被化约，而是被计入为备抵科目再被核销归零。若这一条抓不实，本文即坍塌。

6.1 判别式

本文的判别式不含情态词，不问人的判断，只问记录本身：

这条判别式在五个场景中各跑一遍，答案互不相同：

场景一（产品日志）： 同一道题，学生提交三次，前两次错误、第三次正确。产品个人页只点亮「已掌握」一格，前两次错误进入错题本、待清理后消失，历史提交记录不可由用户或家长导出为成效。读数：借方注销成立（错误被计入错题本、核销后归零、不作为价值）。

场景二（课堂记分册）： 同一单元，学生四次作业两次未交，一次交白卷，期末测验 82 分。记分册上只有期末测验一栏参与学期总评。读数：借方注销成立。

场景三（某学习档案产品）： 宣称记录「从跌倒到奔跑」的连续轨迹，导出页面确有「尝试次数」与「掌握」两列，但付费与续费只依据「掌握」列，「尝试次数」列不参与结算且掌握后清零。读数：借方注销成立，且比场景一更隐蔽——失败痕迹存在（作为待核销科目），但不作为价值参与结算。

场景四（某机构补考记录）： 学生「未一次通过」与「补考通过」两笔同格并列，补考成绩标注「补」字并作为价值参与总评（「补」字本身计入学业档案、影响评级）。读数：借方注销不成立——失败条目作为价值参与了结算。

场景五（手工教师档案复印件）： 同一学生墙上贴着两页，一页是一次未得奖的试错记录，另一页是期末优秀。两页都无任何结算动作。读数：不适用于本文判据，因无记录项之间可比的账目结构，不纳入借方注销的管辖范围。

6.2 可观测指标

测什么。 对每一件被检材料，取该材料自身明示的「学会」定义，把它产生的记录项分成两类：R 型（结果指标：正确率、通过、分数、用时达线、掌握）与 P 型（过程指标：自主尝试、修正轨迹、被系统作为价值记录的自我卷入行为）。关键区分：仅作为待核销缺陷态被计入、核销后归零、不参与成效结算的失败痕迹（错题、红色标记），不计入 P 型——它是备抵科目，不是价值科目。单次事件如何取值：一个学习者完成一道题或一个学习目标，材料留下几条参与成效结算的记录条目，每条判为 R 或 P。借方读数：在「学会」已被点亮的前提下，全部参与结算的条目是否 R>0 且 P=0；全部样本中借方注销占比＝（参与结算条目 P=0 且 R>0 的样本数）／（已点亮「学会」的样本总数）。

多少算数。 一件材料内参与结算条目 P=0 且 R>0 的占比达 100%，判该材料为借方注销样本；占比在 80%–99% 判为借方注销倾向样本；低于 80% 判为本判别式未捕捉到该材料的核销模式。跨材料检验以 80% 为门槛：若可下载 AI 学习应用宣称与收费记录中参与结算条目 P=0 且 R>0 的样本占比不足八成，本文所描述的记账结构不被判定为当前界面的主导形式。

多大差异才算数。 宣称 P 化率与付费 P 化率的差值：两者均从同一批可下载材料中同口径读得，差值为正且逐期（以产品版本或公开物料日期计）扩大，判为动力方向读数支持本文；差值缩小或转负，判为动力方向读数不支持本文。

6.3 读数的三条自我否决条款

信度否决。 同一批材料由两名独立读者按同一取值规则重测一次，借方注销占比两次差值超过 15 个百分点，判该读数不稳，不能作为支持本文的证据。另一名独立读者若不能凭公开操作规则复现该占比，同判。

改名嫌疑否决。 本文借方读数与既有量表「结果导向学习评价」或「表现目标结构」的读数相关高于 0.8，即判本文读数只是已有概念的换个叫法，无新增量，证据节须撤回。此处特别针对本文自身的风险：借方注销与「结果导向」的差别全在「借方被计入再核销」这一层，若某量表已同时测量「失败被计入」与「失败被核销」两步，本文读数即无增量。

测错东西否决。 本文借方读数与产品品牌、价位或年级段的相关，高于它与「失败是否作为价值参与结算」这一核心判定项的相关，即判测的是产品的外部属性，而不是核销结构，须改写读数建构。

6.4 误诊阻挡

以下情形读数即使与本文相同，也不属于本文所指，须在样本排除规则中预先写死：其一，失败条目不参与结算系因学生确无失败，而非因系统把失败核销掉——须有可调用的完整日志接口，否则该样本不进入证据节；其二，失败条目不参与结算系因付费档位下无该功能，但免费档位有——此时记「功能分层样本」，不记借方注销样本；其三，借方注销样本在同类但非 AI 产品中的占比与之相同，判为产品记录功能共有的特征，不判为 AI 求解器特异的记账结构。

6.5 证伪条件：第一组

[已执行·见第七节] 证伪条款一（失败作为价值的结算）。 去处：两件点名样本产品的公开介绍、错题/薄弱项功能说明与付费条款。看到什么：有任一处将「失败、卡住、重走」条目本身作为价值计入成效或参与续费推导（而非作为待核销缺陷态）。执行结果：未见——两件产品的失败痕迹一律以「待清理的错题/待消除的红色标记」形式存在，其机制名即「清错题/消除薄弱点/过滤」，核销后归零。本文「借方计入后核销」未被此条证伪。同时，此条证伪了本文初版的更强命题「借方永远空白、无账可展示」：错题本与薄弱项标记表明借方确被计入。据此本文已将命题由「借方沉默（无账）」改判为「借方注销（有账、核销）」。

[已执行·见第七节] 证伪条款二（新档案母账地位）。 去处：以「过程记录」为主卖点的学习档案功能，其公开付费与升级说明。看到什么：付费与续费依据中，过程指标（作为价值）占比高于结果指标持续两个产品版本。执行结果：未见——「过程」「闭环」「引导」高频出现于宣称层，但续费依据仍落在掌握率、通过率、效率提升等结果指标。本文「任何新档案只落在贷方」未被证伪。

[未执行] 证伪条款三（动力方向可逆）。 去处：产品公开更新日志与发布函中的「本次更新依据」。看到什么：有一条更新所依据的数据来自失败条目最多的学段，而非通过率最高或效率提升最大的学段。若如此，则本文「借由核销而借方归零」的必然关系被削弱；要改写为偶发并发症。此条尚待逐版本追踪，属后续设计（见第八节）。

6.6 证伪条件：第二组（撤稿级）

若在一件样本产品的公开材料中检出失败条目作为价值参与付费推导（而非作为待核销缺陷），则本文引言节「不是学习机制求解不足」之对应项因误判而须删去。

若在二十件样本产品中过半将失败条目作为价值与通过条目并列计入成效结算，则本文核心命题节撤销。

若宣称 P 化率与付费 P 化率的差值连续三个月缩小且由负转正，则本文承重命题所立的驱动方向判断撤销，除非该月有公开政策强制记录过程。

7.1 研究设计

本研究为概念分析与公开材料判读，不涉及人类被试的实验或干预操作。研究问题要求裁决的不是某一群学生的行为分布，而是「学会」被记账时哪一侧作为价值参与成效、哪一侧被核销的判定，因此不能采用实验法——实验法必须先定义一个可操作的因变量，而本研究的要旨恰恰是这个因变量本身是被现成记账方式预先决定好的；也不能采用纯理论演绎，因为需要把判断压到可核对的具体材料上。采用概念分析加公开材料判读，是把「复式簿记的借方注销」这个说法逼到可裁决位置上的唯一途径。

材料来源为四个公开可查的样本群。其一，2024–2025 年间中国区可下载、主打「AI 解题／学习」应用与学习机的官方产品介绍与使用说明，共纳入十六件，纳入标准为公开宣称具备解题或学习功能且含付费或功能分档说明；排除标准为纯工具类不含「学会」定义的应用、无法检索到付费或功能条款的应用。其中两件被抽为点名深读样本，用于执行证伪条款一、二：作业帮学习机 P50 系列、科大讯飞 AI 学习机 T30 系列。抽为点名样本的标准是三条：市场份额居前、公开材料最完整、分属「教培派」与「科技派」两个来源以对冲单一厂商设计偏向。其二，同一期间教育 AI 议题的公开研讨、讲座与政策表述，共七件。其三，三份既有研究的对照样本：一份 1949 年的会计史研究，两份近年的教育数字化研究。其四，作为误诊阻挡的对照，另取三件非 AI 的同类教育产品记录说明。

分析程序分三步。第一步，把每件材料中「学会了」的名义定义逐字摘出，按取值规则归入两类：结果指标（R）或过程指标（P），并单独标注「作为待核销缺陷态被计入但不参与成效」的失败痕迹（备抵科目，不计入 P）。第二步，逐件核查其付费或功能分档依据落在哪一类；对同时出现两类的材料，单独列为「分层样本」。第三步，把十六件产品的 P 栏（作为价值的过程条目）与 R 栏出现情况并排读数，计算借方注销占比。所有摘读由单人完成，编码单元为一句完整的定义句或付费条件句，取值规则事先写死；单人编码的结果不报告编码者间信度，代之以可复现性要求：任何独立读者凭上述取值规则重取，借方注销占比的差距不得超过十五个百分点，否则该读数作废。研究者立场的已知偏向为：本研究的承重命题先行提出，这带来摘读时偏向于把定义句中的轻微过程痕迹判为不构成 P 栏的风险；防范措施是只认作为价值参与结算的显性过程指标，凡属「引导」「闭环」这类描述性用词而不落为参与结算的价值条目的，一律不记为 P。

7.2 检验结果：证伪条款一、二的执行与一次改判

本节交付两件点名样本的深读，据此执行证伪条款一与二。读数取自公开产品介绍、功能说明、第三方深度测评与厂商公开报表，均可核验，来源见参考文献。

样本甲：作业帮学习机 P50。 三处机制被读出。其一，「AI 精准练」——「自动过滤已掌握的知识点及对应习题，智能推送未练过的重点题」。过滤已掌握，等于把已到达的科目从练习流中冲销，只留未到达。其二，「周周清错题」——每天弹窗提醒孩子「清理错题」，公开测评把这条逻辑说透：「错题一定要及时清理，只做自己会的题并不会考高分，但是如果把之前做错的题学会，才是真正掌握了知识」。错题被计入（进入错题本），但其账目终点是被清理归零——清理即核销。其三，学情诊断报告「告诉家长孩子在哪些方面的知识点掌握的比较好，哪些地方有弱项」。弱项被展示，但它作为一个待被匹配视频与习题去消除的目标存在，不作为一条价值条目参与成效——弱项是备抵科目，掌握是价值科目。公开报表：作业帮公开其服务 6500 万学员、错题视频讲解覆盖率 93%。这两个数都是贷方数（服务规模、讲解覆盖），无一是「失败作为价值」的数。

样本乙：科大讯飞 AI 学习机 T30／精准学。 四处机制被读出，且核销结构比样本甲更显式。其一，精准学的颜色账：薄弱项标红——「红色代表掌握较差，橘黄色代表一般，浅绿色代表良好，深绿色代表优秀」；针对红、黄薄弱点做举一反三，「当孩子完成这一系列动作后，即可消除薄弱点，变红色、橘黄色为绿色」。红色（失败态）被计入为一个待核销的科目，其唯一账目终点是变绿归零。其二，解锁闸：「只有基础、进阶和拔高知识点都为绿色，方可进一步解锁课外拓展知识点」——全绿方可前进，红色（失败）是被清零的前置条件，从不作为价值被结算。其三，「AI 作业过滤器」把题分「必做题／选做题／建议不做题」，明写目标是「避免低效重复做题」「练得更少、学得更好」——把「减少走进去」本身作为价值卖点。其四，「AI 错题本」——「自动收集错题，智能归因分析，推荐变式题巩固」，错题被收集，账目终点是被巩固（核销为掌握）。公开报表三项，均可核验且均为贷方数：460 所应用校 2024 上半年调研，使用后单知识点练习量减少 45%、作业时间降低 28%、错题解决率提升 20%；人教版 7 年级 966 万条答题记录，使用 AI 作业过滤器后学习效率提升 38.3%、对薄弱题目的推荐精准度 94%。

据此的两项判决。

其一，证伪条款一未证伪本文承重命题，但证伪了本文初版命题，触发一次改判。 本文初拟命题为「借方永远空白、无账可展示」。两件样本均设错题本／薄弱项标记，借方确被计入——初版命题被证伪。本文据此改判为「借方计入但被核销归零」，承重概念由「借方沉默」精确化为「借方注销」，判据由「R_f 是否为零」修正为「R_f 是否作为价值参与成效结算」。改判后的命题在两件样本上成立：失败痕迹一律以「待清理错题／待消除红色标记」形式被计入，机制名即「清错题／消除薄弱点／过滤」，核销后归零，无一处作为价值参与成效或续费。这次改判是本文诚实性的落点，也是本文相对 Yamey 的增量所在——从「无账」（本文守不住）收窄到「有账、核销」（可被机制直接指认）。

其二，推翻命题被样本产品自身的数字坐实。 本文引言第三条贡献声明为「被求解得越彻底的问题，正是越不值得人走进去的问题」。样本乙的两个公开数把这条从一个断言变成一个被产品自证的读数：「对薄弱题目的推荐精准度 94%」与「练习量减少 45%」并置，且以「练得更少、学得更好」为卖点——越精确地建模弱项（94%），越把「走进去」（练习）当作可被削减的成本卖掉（−45%）。核销被包装为「减负增效」这一新贷项，正是「增长形式条件」（第四节第三条）的实证：借方注销不是单纯的记录缺失，它把核销再包装成一轮新的、可标价的贷方。

一处诚实的边界。 以上读数取自宣称层与公开报表，未触及产品后台逐条日志。「失败痕迹被计入错题本、核销后不参与成效」这一判断，在宣称层与功能说明层证据充分（错题本、清错题、颜色账、解锁闸均为公开可查的机制），但「错题本条目在后台是否另有一套参与结算的隐藏用途」这一后台层问题，本文无从核验（无日志接口）。误诊阻挡第一条据此生效：无完整日志接口的样本不进入更强的行为层结论。本文的结论因此限定在宣称层与展示层——在这一层，借方注销成立。

7.3 分析一：竞争解释的检验

最强的竞争解释是「记录不完整补救说」：AI 学习系统不把失败作为价值记录，不是结构使然，而是产品阶段性的功能缺失；其预测是，随着系统迭代，P 与 R 会趋向并列同账（失败与通过并列作为价值参与结算）。本文预测相反：P 栏（作为价值的过程条目）为空的占比不随产品版本升级而下降，因为「过程」的升级方向是把核销做得更精、而非把失败提升为价值。分离点在可裁决条件：若同一产品的新旧两个公开版本中，失败条目从待核销缺陷升格为参与结算的价值，则补救说获胜；若产品宣称层不断向「过程化」方向升级、而失败始终维持待核销地位，则补救说不成立。逐件核查中可见的实例是：样本乙从 2019 年个性化精准学、到 2023 年大模型学习机、到 2025 年 T30，「精准」一路升级，但升级的方向是把薄弱项识别做到 94% 精准、把「不必做的题」过滤得更干净——失败被核销得越来越彻底，从未升格为价值。样本甲「过程」「闭环」高频出现于宣称，而付费与续费依据仍是掌握与提升。补救说的预测（失败升格为价值）在两个版本序列中均未出现。

另一个竞争解释是「幸存者偏差通行说」：任何结果导向的记录天然删失失败，这一特征并非 AI 求解器所特有。本文对此的支持是克制的：在非 AI 的对照样本中，删失同样存在，说明该现象有先在的土壤；但非 AI 产品中失败痕迹的处理是「订正后留痕」（错题本保留、供复习），而 AI 产品的处理是「核销后归零并配过滤」（清错题、过滤已掌握、颜色归绿）——核销的彻底性与「减少走进去作为卖点」是 AI 求解器阶段的新特征。若进一步核查发现两者对失败的处理无差，则本文「AI 求解器特异的记账结构」这一限定须撤回，改述为更普遍的旧尺子现象。

7.4 分析二：辨别格

候选轴排除两个。第一是「功能分层」——付费档位决定是否开放过程记录；此轴被排除，因为它是核心变量的前因之一：付费档位影响记录能力的可及性，拿它当第二轴等于自己与自己相关。第二是「年级段」——低年级产品更倾向过程宣称、高年级产品更倾向结果宣称；此轴同样被排除，因为年级差异的背后仍是旧尺子在升学记账中的权重，属于成因轴。

第二轴定为「收费依据是否把过程作为价值」与「宣称是否含过程」两轴的交叉。两轴相关而不重合：宣称 P 化率在十六件样本中高于付费 P 化率，协变方向是宣称先行、付费滞后，且差值随公开版本更新而扩大，不构成正交。

第一象限（宣称含 P × 收费依据把 P 作为价值）：两坐标皆高，样本中暂无一例。第二象限（宣称含 P × 收费依据不把 P 作为价值）：「过程」作为卖点出现，但付费结算仍由 R 单边决定；本象限内独有预测为：该产品的公开充值页面中，可续费理由与作为价值的过程数据无关，且该产品会在至少一个版本中把「过程」另行包装为高阶收费项而不改动基础档位。两件点名样本均落此象限。第三象限（宣称不含 P × 收费依据不含 P）：结果单边的完备形态。第四象限（宣称不含 P × 收费依据把 P 作为价值）：收费先于宣称，在样本中同样为空。此处若读到任一产品收费层已把失败作为价值结算而宣称层未跟进，本文核心命题须改写为「旧尺子正在被换掉」。

关于第一象限为空，本文第七节的读数提供了一条比初版更强的解释：两件点名样本对失败的处理机制（清错题、消除薄弱点、过滤、颜色归零）在结构上把失败设为待核销科目，而备抵科目按定义不能同时是价值科目——这不是样本截断，而是核销结构使第一象限在当前产品设计下不可占据。此解释仍受宣称层边界约束（见 8.5）。

8.1 理论意涵

本文的判断若成立，教育数字化批判的坐标要挪一格。既有的三种读法——守住本真、补精认知机制、教师技能换血——都把 AI 求解器当作一个侵入者或一个不称职的助手，解决办法因此落在「把工具用对」「把模型做精」「把教师重新装备」上。教育量化批判（Biesta、Espeland、Power）挪近了一步，把问题定位到「可测代理物置换或抹除了教育」，解决办法落在「把被抹除的一侧补记进来」。本文的读数再挪一格：死掉的那一侧不是没被记，而是被记为一个待核销的科目、再被核销归零，所以「补记」也救不了它——补记只是在贷方新开一栏，核销工序原封不动。这解释了为什么教育数字化讨论越热闹，被记录的东西越繁荣，而真正被耗费的那一侧越沉默：账本不缺栏位，缺的是让借方不被核销的那道规则。

8.2 实践意涵

对产品设计者，本文给出一个克制的可操作线：同一学习事件中，若「失败、卡住、重走」不是作为价值与「通过」并列参与成效结算，则该产品的「过程化」宣称不构成账目改变——设一个会归零的错题本不算，把失败做成一条不被核销、参与成长评估的价值记录才算。对评估者，判据不在宣称层出现多少次「过程」一词，也不在是否设有错题本，而在失败是否作为价值参与结算、还是被核销归零。对教师与家长，本文提一个反直觉的警告：另建连续电子档案补记成长过程，无论做得多细，只要升学旧账仍是母账、且失败仍被安排核销，补记的那本账就在贷方之外另开一栏，旧账本的借方依旧被清零。

8.3 适用边界与反向约束

本文的主张在两个条件下不成立。其一，若某学习系统把「一次成功」明文列为一个负信号——说明书直写「一次做对不算学会」——则旧尺子已在定义层被换掉，本文的时相判断须撤回。这一条削掉了本文原本想说的一句强硬话：旧尺子不可被产品迭代所动。其二，若非 AI 对照产品与 AI 产品对失败的核销彻底性无差，则「AI 求解器特异的记账结构」这一限定不能成立，本文须退回更弱的说法：该现象是既有升学记账的放大，而非 AI 引入的新结构。这一条削掉了本文对「AI 特异性」的坚持。

8.4 反噬

本文最容易被照抄执行的部分是那条判据：去查产品是否把失败作为价值参与结算。若照此去做，最省事的做法是让产品把「卡住」也记成一条记录、甚至给它一个分值，但不让它进入付费推导、且掌握后清零。这样判据表面过关，借方却依旧被核销。本文给出的防线只有一个：判据必须与成效结算挂钩，查的不是「有没有记」「有没有给分」，是「记了是否作为价值参与结算、还是被核销归零」。若执行者只查第一层（有没有错题本），本文恰好成为「过程装饰」的新进货单——而两件点名样本的错题本正是这种装饰最成熟的形态。

8.5 效度威胁与研究局限

构念效度上，「借方注销」的命名取自复式簿记，有把会计学术语投射进教育现象的风险。本文的防线是把命名与判据分开：判据只查「失败是否作为价值参与结算」「是否核销归零」，不依赖会计学术语是否贴切；备抵—核销的同构由产品自身机制（清错题、消除薄弱点、过滤）直接支撑，非纯类比。内部效度上，最强的替代解释是「记录不完整补救说」，其预测与本文相反却同样可裁决，已在 7.3 作为竞争解释正面检验。外部效度上，本文的读数限于中国区 2024–2025 年可公开核验的产品宣称层与展示层，不能推广到后台日志层，更不能推广到不以升学为母账的教育制度。可靠性上，判据的编码规则依赖「失败是否作为价值参与结算」的判定，若两名独立编码者对同一产品的失败地位归属不一，本文的读数会随编码者而变，这一项尚待双编码一致性检验。

三个可执行的后续设计：其一，双编码者背对背重编十六件样本，测算「失败地位」（价值 vs 待核销）的一致率，两周内可得；其二，执行尚未完成的证伪条款三——追踪同一产品三个公开版本的更新日志，核查是否有一条更新依据来自失败条目最多的学段，一个季度内可得；其三，取非中国区、无升学统考压力的学习产品与本文样本对照，检验借方是否随母账约束消失而免于核销，半年内可得。

本文尚未解释的一个洞：本文把「旧尺子量出的满分已不值钱」（求解器使通过贬值）读作驱动方向第一次动摇，却解释不了：为什么这个读数已被账本自己读出，却仍被记成新的付费项（效率提升），而不是触发尺子更换。第一象限为空这个洞，本文第七节已给出比初版更强的结构性解释（备抵科目不能同时是价值科目），但该解释仍受宣称层边界约束，后台层是否如此尚待日志核验。这一个洞不是论证的装饰性谦虚，是本文目前真正的盲区。

9.1 结论与研究启示

引言所立三项研究问题，本文的回应如下。

第一问，教育何以在 AI 求解器趋近零成本的条件下走向死亡。本文的回答不是工具侵入本真，不是学习机制求解不足，也不是教师技能需要换血，而是借方注销：教育的每次死亡都只以价值形式记入账单的一面，借方——被耗费、死去的那一侧——被计入为一个待核销的备抵科目、再被核销归零，贷方——被保存、增长的那一侧——永远满栏并升值。死亡的凭证被短暂记录为一个待清除的缺陷，随即由核销归零，死亡的持久性由这道核销来保证。产品宣称层的读数与公开报表共同指向这一结构：正确率、用时、通过率、效率提升被逐项记入贷方，而失败、卡住、重走被逐项核销。

第二问，何种记账结构使死亡不可见。本文给出的判据是可裁决的：在同一记录格内，「失败、卡住、重走」与「通过」是否被列为两条并列的价值记录、各自参与成效结算；还是前者仅作为待核销缺陷态存在、核销后归零。两件点名样本产品的公开材料与可查报表中，失败痕迹一律以待核销的错题／红色标记存在，机制名即清错题／消除薄弱点／过滤，核销后不作为价值参与成效。这不是记录不完整的补救问题，而是单边非对称的记账结构：被保存的一侧永远逼动下一笔正向记录，被耗费的一侧被计入后核销、从不作为价值驱动任何一栏。

第三问，在何种条件下这一判断须撤回。本文给出三个证伪条件：任一产品明文将「一次成功」列为负信号，则时相判断须撤回；若失败条目作为价值与通过条目并列参与结算，则核心命题不成立；若非 AI 对照产品与 AI 产品对失败的核销彻底性无差，则「AI 特异的记账结构」须退回更弱的放大说。本文已执行证伪条款一与二（未证伪承重命题，但证伪并改判了初版命题），条款三留作后续。

研究启示不在处方层。对产品设计者，本文只给一个可执行的约束：判据必须与成效结算挂钩，查的不是「有没有记过程」「有没有错题本」，是「失败是否作为价值参与结算、还是被核销归零」。对教师与家长，本文给一个反直觉的警告：另建连续电子档案补记成长过程，无论做得多细，只要升学旧账仍是母账、失败仍被安排核销，补记的那本账就在贷方之外另开一栏，旧账本的借方依旧被清零。本研究交出的是判据、一条已执行的真跑与据此的改判、以及尚待执行的证伪条款三；一个盲区——账本自己读出的「不值钱」为何被记成付费项而非尺子更换——留作后续。

一句方法论的总结。本文的承重概念经真跑修正而来：从「借方沉默（无账可展示）」到「借方注销（有账、计入、核销归零）」。这次修正把本文与最近的会计学先例（Yamey 的借方隐匿）与最近的教育学先例（Biesta 的学习化）之间的分界，从一个守不住的强断言收窄为一个可被产品机制直接指认的结构差。命题变窄了，也变实了。

9.2 声明组

本文无注释。

作者贡献按 CRediT 分类：概念化（研究问题与核心命题的提出）、方法（编码规则与证伪条件的设计）、调查（样本产品的宣称层与公开报表核验、证伪条款一二的执行）、写作—初稿、写作—修订、监督，均由单一作者完成。

利益冲突声明：作者声明无利益冲突。作者与文中所涉任何产品厂商无关联。

数据与材料可得性声明：本文为概念分析，未采集人类被试数据，故无数据可得性与伦理审查事项。所涉样本均为公开可核验的产品宣称、功能说明与公开报表，未使用任何产品后台数据。

伦理声明：本研究不涉及人类被试，无伦理审查事项。

基金与致谢：本研究未获基金资助。AI 使用声明：本文部分段落的初稿由大语言模型协助生成，作者对全文的概念框架、判断、引证与表述承担全部责任。

参考文献