第26课｜推理模型：把答案放回条件里检查

备课与今天的落点

今天不从推理预算等新词开讲。先解决学生看得见的小事：收到一份数量答案，怎样知道它满足题目？主实验真实执行算术，不需要账号；已有可用模型的班级可以额外保存真实响应，不能把教师构造答案当成刚调用模型的结果。 教师打开实验，确认总箱数12、总容量66、小箱8、大箱4；小箱固定4升，大箱固定7升。按钮叫“代入条件并核验”。先试运行，正式开始恢复原输入并收起结果。工作纸与答案分开，猜错不扣分。板书留三栏：题目条件、候选答案、独立检查。学生需要比较大小和乘加，无需导数。 这堂课应留下三份证据：两条有单位的约束；一次改变总容量后的真实记录；一句说明检查范围的结论。仅复制页面结果不够，要指出至少一行算式分别代表什么。程序给出的通过也需要检查输入是否抄对，不能把错误题目下的绿勾当作原题正确。

0—5分钟：为什么只看一条理由不够

教师说：“有12箱，小箱4升，大箱7升，总66升。构造答案说小箱8个、大箱4个，因为它们相加正好12个。你现在接受这个完整答案吗？先写理由，不急着搜索。” 请一位赞同的学生指出算过哪一种量，再请不确定者指出还有什么没核对。不要第一秒宣布错。教师追问：“这里的12指箱子，66指什么？一个答案可以有一条正确理由，但其他条件还没过关吗？”让学生保留初判，后面用另一颜色修订。 这份话术是课堂材料，不是任何品牌的实际回答。解释听着顺畅是一个观察，符合全部约束是另一观察，不能互相替代。

5—10分钟：先读对象和单位

重新读题，让学生把12连到“箱”、66连到“升”、4和7连到“每箱容量”。教师问：“12加66得到的数能检查哪条要求？”学生若直接算，追问结果单位，帮助他发现不同量不应无理由混用。 然后才写小箱数x、大箱数y。教师说：“字母只是避免反复写小箱数量，不是让问题变高级。”学生可以用完整中文，不因没用符号扣分。依次写总箱数和容量检查，让每人解释4x中的4与x各指什么。箱数必须为非负整数，也要写进条件表，不能为了凑总容量使用题目没有允许的半只箱。

10—15分钟：自己验算一个候选

让学生先算8加4，再算4乘8与7乘4，分别记录两个乘积后相加。不要只报最后数，因为中间步骤能显示容量是否对错对象。若学生写8乘7，教师只问：“候选里的8对应哪类箱？这一类的每箱容量在哪里？”若乘法正确但加错，用计算器核验算术即可。 教师强调：“验证器若只检查总数，也会过早说通过。程序是不是执行了所有必要检查，要回到题目审查。我们今天写进去的，是总数、容量和非负整数范围；其他现实装载条件并没有出现在这道构造题里。”

15—20分钟：运行后读过程

四个字段逐项与题目对照，再点“代入条件并核验”。教师说：“先读两行算式，别直接跳到可行解。页面要求与原题是否一致？如果我们把66抄成别的数，程序忠实计算也不能证明原题。” 请学生记录自己的手算与实际输出是否一致。允许计算错，但要保留原答，写清修订在哪个乘积或加法。学生问“红色就是AI不行吗”，教师说：“这里只是普通程序核对一个候选，并没有调用AI。候选来源和验证方式应分别记。”

20—25分钟：看见枚举怎样找答案

程序依次令大箱为0到12，小箱为12减大箱，再检查容量。让学生先手算大箱0的情况，然后解释每多换一个大箱容量为什么变化。教师说：“这13个候选是实际的小循环，不是某个模型隐藏思维的录像，也没有训练网络。” 找到可行解后，把它重新填到候选框，再点一次，让两条条件都可复查。找答案与验算可以走不同路径。教师要求学生向同桌说清可行解从哪来、又怎样核对；不能只写“系统说对”。这会把自然语言的自信表述换成可以重复的证据。

25—30分钟：允许当前条件无解

仅把总容量改65，其他字段不变。教师先问是否一定仍有整数分配，让学生预测后运行，不提前透露结果。运行后追问枚举覆盖哪些候选，是否把最后一个大箱数也包含。学生可用全小箱开始、每换一个增加3升的序列再检查。 教师说：“条件不相容不是程序不肯努力。可以复查题目是否抄错，也可以明确说当前条件没有整数解，不能悄悄把65改回66制造漂亮答案。”这一步训练学生在没有可行答案时仍给出有依据的结论。

30—35分钟：推理计算与训练分开

教师说：“复杂任务可以增加候选尝试、整理中间材料、调用计算工具。这些发生在使用时，不说明权重每回答一次就重新训练。公开的简短验算也不是隐藏内部计算的完整录像。” 如已准备账号，学生复制工作纸完整问题，保存真实响应、模型名与日期。只要求答案和简短可核验关系，不要求内部思维。把实际候选带回核验器。如果响应错误或服务失败，照实记录；没有账号者用固定候选做同一检查，并明确模式。这两种路径不能互相冒充。

35—40分钟：缺事实时不要靠多想填空

教师给一条通知：活动在图书馆，报名网址未提供。问：“再让模型想一分钟，能可靠知道网址吗？”等学生指出缺资料，再讨论补来源。另给改礼貌语气与容量核验两个任务，让学生分别选择语气/事实检查和算术检查。 若有人说让同一模型自评就够，教师问：“它如果一直漏掉容量，下一次评价会不会继续漏？”独立检查不一定是另一个付费模型，原文、算术脚本、人工核对都可能提供不同路径。检查器本身也有限，不能因为能算箱子就说它能评所有开放题。

40—45分钟：把接受理由写完整

每人写：“我接受这个候选，因为……；我还不能据此保证……。”前半句必须落到原题条件，后半句落到没有检查的范围。不要写空泛的通过或AI都有风险。教师挑一份理由询问别人能否照着重新算。 随后准备独立题，明确仍是两种箱4/7升、12箱，总容量变为60，候选甲8/4、候选乙9/3。只宣读，不讨论哪个对。界面可以直接填写这一题，不需要学生临时改程序。

45—50分钟：独立算两条约束

学生先给两候选分别写总数与容量算式，再逐个输入核验。教师巡视只问“哪条核对过”“乘积来自哪个对象”，不读教师答案。允许不确定，但要求指出卡在哪一步。用另一颜色记运行后的修订，避免只留下抄来的最终数。 学生若先偷看枚举结果，让他补自己的两条验算。重点是能检查候选，即使没有自己想出解法也可以掌握这项能力。页面上的正确解不是独立判断的替代品。

50—55分钟：缺条件迁移

新材料只有：方案一20分钟、方案二30分钟，没给出发时刻。某答案保证九点前到。请学生独立判断能否确认、需要补哪项资料。题目没有隐藏时间，教师不为某答案临时补条件。 完成后提交原答。若学生写不知道，追问能否说出具体缺什么；不要把未知直接判成失败。能提出让下一步继续所需的最小信息，是这类题的学习结果。此段结束前不公开答案。

55—60分钟：讲评与离堂

原题候选8/4共12箱却只有60升；可行解6/6为24加42等于66。改65时，从48起每换箱增加3升，65不在候选容量中。独立60升题甲8/4满足，乙9/3容量57不满足。交通题缺出发时刻，不能保证九点前到。 离堂写两句：程序实际完成什么、没有证明什么。应包含代入与枚举，并能指出未调用模型或不能推出整体性能。教师回看Q0，统计常见漏条件位置，为下次补练提供依据。满分10的检查项见答案页，猜测错误不扣分。

失败时怎样继续

浏览器不可用就列大箱0至12的纸面表，小箱取差，逐行计算；记录为纸面复现，不能称电脑运行。真实工具不可用时检查固定候选，不自动重试收费服务。三类箱子的扩展会增加候选数量，可用电子表格课后实现，另需约20分钟。

教师可按学生反应展开的三段具体对话

学生问：“不看程序，我怎样想出六个大箱？”教师可以先用十二个全是小箱的情况回答：“现在一共四十八升，目标六十六升，相差十八升。把一个小箱换成一个大箱，总箱数有没有变？容量增加几升？”让学生在纸上画一次替换，再自己算需要几次。这个解法不要求先移项，核心是始终保持箱数不变，只改变容量。得到候选以后仍要回代，不能因想法巧妙就免除核验。

学生问：“既然直接代入就能知道对错，为什么还需要推理模型？”教师说：“你现在拿到的是范围很小、条件非常明确的问题，所以可以穷举。真实任务可能先要把文字整理成结构、选择可用的工具、从大量候选里找到值得检查的几项。模型可以协助这些步骤，但最终能检查的条件仍应检查。我们的小程序只接受四个数，没有理解任意语言题目的能力。”请学生试着把‘有些箱可能不满’这句话加入问题：原来容量方程是否仍成立？由此说明建模假设不能忽略。

学生问：“程序说没有解，是不是一定没有解？”教师先让他指出程序搜索的是哪种解：“这里搜索的是大箱数从零到总箱数，小箱数由总数相减，并要求两者都是非负整数。如果题意允许箱子不装满，我们的方程就没有覆盖真实情况；如果输入抄错了，搜索的是另一题。因此结论应当是，在当前输入和假设下没有这种整数分配。”不要把有限程序输出变成无条件的数学或现实承诺。

把真实模型输出整理成能检查的记录

若班级实际运行模型，给每人一条固定记录格式：题目原文、工具与模型名称、运行日期、模型给的小箱数与大箱数、两条验算、是否补充了题目没有的条件。模型若用一段话回答，就由学生先抽取这两个数量，而不是把整段文字直接当作通过。数字缺失或含糊时记录未得到可检验候选，可以请求只补齐候选，不让程序猜缺掉的数。

同一道题的第二次运行可能换一种说法，也可能换结果。教师不把两次结果拼成一个从未真实出现过的优秀回答，学生保留每次原文并分别核验。若模型说答案正确却没有算式，仍可用本地验证器检查；若它写的算式与最后数字矛盾，把两种陈述分别记录。最终报告应写‘这次候选通过两条检查’，而不是‘这个模型从此可靠’。

试教后应检查的节奏

教师重点看十分钟处学生是否理解单位，二十五分钟处是否能解释枚举的一行，五十五分钟处是否独立完成两条约束。若大部分学生还把箱数和容量混起来，应缩减可选的真实模型调用，把时间留给对象和单位。若基本算术已熟练，可让学生检查一个无解输入，但不必为了填满时间扩展到高等数学。课堂长度是备课安排，不代表已对真实班级完成计时验证。

来源

• DeepSeek-R1研究论文：具体模型的推理训练研究，不能推广为所有产品统一训练方式。本课核心箱子题、程序、对话与检查均为原创，未复现论文训练。