# 数学教学包：可诊断理解的材料、提问与反馈

工作单元：W-M09；版本：2026-10-21.workunits.2；复核：2026-10-20
围绕课程目标交付数学正确、层次可用并可观察学生理解的教学/辅导包。

## 当前用法
可整包委派课程材料和辅导候选，并用独立数学检查与作答轨迹接收；正式声称学习效果须另验证。
依据：Tutor CoPilot的现场试验研究真人导师接收AI建议后的课题掌握与辅导行为，而不是模型单独解题。
来源状态：active
本站记录：本站本任务AI运行数、成功率、实际成本及人工介入量均为null；代表例为交付设计，未执行。

条件：
- 目标/先修清楚
- 题目可独立检查
- 有学生作答或诊断控制

## 请求与范围
课程需要新单元、差异化辅导或误解诊断，已有课程要求和学生先修范围。
包括目标/先修、讲义/题目/评分、分层提示和误解诊断；材料正确与教学效果分开，后者用W-M13接收。不是把模型解题成绩写成学生学习。

## 输入
- 课程与学生：课程目标、先修、大学/高阶或基础范围、学生已有作答与常见误解；不假定所有学生已有相同背景。
- 教学与评价要求：允许证明强度、符号/教材约定、学习时段与材料形式、独立作答规则、无AI评价题和评分标准。
- 反馈边界：提示何时给出/如何递进、不能泄露的评价答案、哪些作答需再诊断；教师可接收的用语/无障碍需求。

## 交付物
- 目标—先修—活动—评价对照、正确讲义及分层例/非例
- 题库、独立解答/证明、评分rubric及可接受替代法
- 基于实际/模拟错误的诊断问题与提示分支，不把猜测当学生事实
- 试教/反馈记录入口、未核对知识点和效果验证设计

## 验收
1. 数学和课程范围正确
   方法：独立解题/证明检查所有关键题与反例，核对定义域/边界和先修；可用精确程序或形式化核部分内容，但不强制Lean。
   拒收：把sqrt(x²)=x教成全实数公式；用尚未教的定理掩盖证明。
2. 提示促进可观察推理
   方法：用预先准备的错解/多解轨迹试走提示，检查先问理由、针对性反馈及替代路线；评价题答案不混进辅导提示。
   拒收：“苏格拉底式”措辞实际逐字给最终答案；错把计算失误当概念缺陷。
3. 评分和诊断可靠
   方法：独立双评分一组正确替代、部分理解、偶然猜中和表面抄写作答；分歧可定位，反馈必须引用真实作答。
   拒收：正确非标准证明被拒；把模型对学生的印象当学习诊断。
4. 交付不冒充效果
   方法：核对输出标签：材料审查、试教可用、独立学习效果分别标识；效果另收无AI/延迟/迁移结果。
   拒收：因为模型会做题或学生完成练习快就写教学有效。


## 具体例子
输入：设计例：大学微积分“导数为零与局部极值”，给先修和学生错解；需要例、非例、提示和独立评价。
预期产物：讲义/题库、x³等反例、多个合法证明/解释、提示分支及评分；独立学习结果尚未测。
失败：把导数为零当极值充分条件；AI答案出现在无AI评估题的提示里。

## 工作重组
以前：教师独立写讲义、题库、讲解与批改，各处目标和错误样本难复用。
现在：代理围绕课程目标组织材料、例/非例、提示和评分；实际作答反馈驱动修订，题目生成与答案独立检查并行但不强迫固定顺序。
保留：
- 课程目标与学生支持责任
- 最终课程使用及公平性取舍
新增：
- 区别辅助作答与独立掌握
- 保存评分/提示版本
- 反例和合法替代答案控制

## 人的责任与失败接管
课程负责人确定学习目标和使用范围，独立数学/教学接收者验证内容与诊断；代理可完成材料和反馈设计，不把责任分配当永久能力上限。
数学错误返回相应材料/题库版本；没有真实学生信息时标诊断假设；学生持续误解时改解释/活动，不继续重复同答案。

## 尚待补足
- 学校辅导证据不是大学高阶数学效果
- 具体学生/课程需实际授权试教

## 职业与团队下一步
高校数学教学与辅导
目标/教材/题目、数学核查、学生真实作答与评分分歧
分清会讲解和已证明学习有效，补真实教学观察。
/explore?purpose=career&domain=math
内容准备慢还是学生理解诊断不准？
代理生成/调整教学包，数学接收者校内容，教学团队以真实作答判断反馈。
用一单元记录错题、评分分歧和独立迁移结果。
/explore?purpose=team&domain=math

## 证据与关系
- Tutor CoPilot v1：真人辅导中的AI建议：https://arxiv.org/html/2410.03017v1
  定位：Design / RCT / Results / Limitations；公开 2024-10-03；核查 2026-10-20；复查 2026-11-20
  支持：人机教学协作的原始效果研究。
  未覆盖：真人建议辅助、特定学生和课题；不外推大学或长期保持。
- 数学辅导随机试验：辅助作答与独立学习分离：https://www.pnas.org/doi/10.1073/pnas.2422633122
  定位：Experimental design / Main Results / Limitations；作者稿https://hamsabastani.github.io/education_llm.pdf；2025-08-20更正为作者单位；公开 2025-06-25；核查 2026-10-20；复查 2026-11-20
  支持：辅助表现不能替代独立学习证据。
  未覆盖：高中短期证据迁移到大学材料为待验证设计。
- Khanmigo官方产品与角色访问入口：https://www.khanmigo.ai/
  定位：For teachers / For learners；FAQ Can anyone use、classroom access；公开 未标独立发布日期；2026-10-20读取；核查 2026-10-20；复查 2026-11-03
  支持：产品/角色访问入口。
  未覆盖：不证明学习或大学课程效果。


## 任务级判断与证据
采用方式：分阶段接收
从证据到建议：真实教学试验支持把解释方式和工具使用方式纳入设计，同时显示辅助成绩与独立学习不同。因此可委派可检查教学包，不从学校试验推大学长期效果。
当前可用性：mixed；公开资料和工具入口已核对；论文配置、当前实现声明及本任务成绩分别记录，未运行本任务。
- Tutor CoPilot研究及方法：https://arxiv.org/html/2410.03017v1
  v1 2024-10-03；论文/研究资料入口；不冒称有自部署同配置产品。
- 课程内容的精确核查：https://lean-lang.org/doc/reference/latest/ValidatingProofs/
  适用形式子题需锁定工具链；可选形式核查入口；自然论证可按领域方法接收，不为所有课程强制形式化。
- Khanmigo官方产品：https://www.khanmigo.ai/
  持续服务，2026-10-20读取；具体部署版使用时记录；教师/学习者/学校入口不同，受地区/账户资格影响；课堂学生访问不能由教师个人注册自动授予，未开通服务。

### Tutor CoPilot的现场试验研究真人导师接收AI建议后的课题掌握与辅导行为，而不是模型单独解题。
依据身份：外部报告结果；状态：active
- Tutor CoPilot v1：真人辅导中的AI建议：https://arxiv.org/html/2410.03017v1
  定位：RCT design / Results / Limitations；关系：partial
  支持：人机教学协作的原始效果研究。
  限制：真人建议辅助、特定学生和课题；不外推大学或长期保持。
  核查：2026-10-20；来源状态：active
配置：arXiv v1；预注册真人导师/学生试验，意向性分析课题掌握；辅助者与学生分开，本文不复制分数为本站效果。
适用限制：真人建议辅助、特定学生和课题；不外推大学或长期保持。
相关进展（本条判断）：
- 真人辅导AI建议开始按学生学习结果评价：/explore?purpose=understand&domain=math&window=all#P-M-TUTOR
  首次公开 2024-10-03；判断变化 2024-10-03

### 正确材料、可区分误解的提示与独立评分可整包委派；学习效果另用独立学生结果接收。
依据身份：有条件的编辑推断；状态：active
- 数学辅导随机试验：辅助作答与独立学习分离：https://www.pnas.org/doi/10.1073/pnas.2422633122
  定位：Design / unassisted exam / limitations；关系：adjacent
  支持：辅助表现不能替代独立学习证据。
  限制：高中短期证据迁移到大学材料为待验证设计。
  核查：2026-10-20；来源状态：active
适用限制：高中短期证据迁移到大学材料为待验证设计。

### Khanmigo官方提供教师备课/评价材料与学习辅导入口，角色和地区/学校访问不同；可用性不等于研究中同版本或学习效果。
依据身份：工具与方法依据；状态：active
- Khanmigo官方产品与角色访问入口：https://www.khanmigo.ai/
  定位：For teachers / For learners / FAQ classroom access and eligibility；关系：method
  支持：真实产品入口及访问前提。
  限制：未调用；官方功能说明不是大学内容正确或学习有效的成绩。
  核查：2026-10-20；来源状态：active
适用限制：使用时锁定实际版本/访问方式，不能继承学校试验效果。

## 情境变化
### 高阶证明课程
输入变化：题目多为自然论证、学生解法差异大。
判断变化：可委派题目/引导与评分候选；不可把模型judge直接当分数。
验收变化：领域数学独立检验关键推导、合法替代证明和部分理解。
### 个性化辅导
输入变化：使用学生真实作答，解释随误解变化。
判断变化：可委派反馈/提示候选，具体诊断必须有作答证据。
验收变化：独立作答、针对错误的追问；不能仅用满意度或交互次数证明理解。
### 大学基础课程单元
输入变化：如微积分/线性代数基础，重点概念、计算与初步论证，不要求高阶证明课程输入。
判断变化：可交材料/提示/评价候选，学习效果仍另收。
验收变化：先修/定义域/例与非例/计算和迁移题匹配；独立正确性与多种合理解法，不以模型答题能力当学生效果。
### 学生项目指导
输入变化：输入为学生的研究/建模/证明项目目标及阶段产物，而非一套已定高阶课程讲义。
判断变化：可委派阶段反馈、资源和检查候选；学生独立贡献/理解靠本人解释与新任务验证。
验收变化：反馈引用具体产物与出处，能解释假设/错误和局限；AI生成报告不能替代学生独立掌握。

研究前沿：已有真人辅导中的实时AI建议试验；它支持教学组织变化，仍不同于无人完成整门大学课。
下一项验证：选一个大学课程单元，先用正确/错解/替代解校准材料与评分，再在授权教学中收独立作答和反馈；学习效果用M13另设计。
未来改判信号：
- 扩大：新学生/新概念中数学正确、提示能定位误解，独立迁移结果有证据。
- 收缩：频繁给答案、拒绝合法解或幻造学生状态；缩到已核教材改编。

## 与本单元直接关联的进展
### 真人辅导AI建议开始按学生学习结果评价
公开 2024-10-03；判断变化 2024-10-03
研究观察建议是否改变教学行为与掌握。
支持范围：学校/课题掌握，不推大学长期保持。
来源状态：active
/explore?purpose=understand&domain=math&window=all&kind=all#P-M-TUTOR

领域背景与未来情景：/explore?purpose=understand&domain=math


## 工具与采用佐证