质疑 AI 绘图必要性，建议 Hinton 体验 Desmos
我确信 @geoffreyhinton 知道，你不需要 AI 来“为你画出所有曲线”，也不需要让学生“尝试改变多项式的系数并观察曲线如何变化”。@Desmos 就能做到。@ddmeyer，也许你应该给 Hinton 安排一次参观？
#数学
EdTech MusterAI 评分1212 arXiv cs.AIAI 评分2828 LogiKEy 方法论：利用数学证明助手教授逻辑
LogiKEy 方法论以经典高阶逻辑（HOL）为通用元逻辑，通过语义嵌入在单一证明助手（如 Isabelle/HOL）中统一编码多种对象逻辑。该方法已用于计算机科学、数学及哲学混合课程逾十年，通过从命题逻辑到模态逻辑、动态认识论逻辑及义务逻辑的分级示例，帮助学生实验与比较不同逻辑系统。
arXiv cs.CY精选AI 评分7070 arXiv 论文审计 LLM 生成数学应用题跨语言文化翻译的一致性
该研究分析了 Claude Opus 4、GPT-4.1 和 Gemini 2.5 Pro 将 60 道英语数学应用题适配为孟加拉语、印地语等 7 种语言的过程。研究标注了 6,489 个实体转换，发现模型在转换类型上的一致率为 62.5%，在具体替换上仅为 33.5%。所有语言-模型组合均出现熵坍缩，导致文化多样性压缩而非扩展，且存在将孟加拉塔卡误用于印度学生等区域误配现象。
推荐理由：研究通过语料级分析揭示了大模型在数学题文化适配中存在的多样性坍缩与区域误配问题，为评估AI教育内容的文化准确性提供了实证依据。
Frontiers in EducationAI 评分3838 面向工程学生的技术数学素养量表（E-TmLS）开发与验证
研究开发并验证了面向工程学生的技术数学素养量表（E-TmLS）。基于土耳其 360 名工程学生的数据，该量表确立了包含数据素养、错误分析等 6 个维度的 20 题项结构。E-TmLS 表现出良好的信度与效度，为工程教育中评估技术辅助数学能力提供了标准化测量工具。
arXiv cs.CY精选AI 评分6868 arXiv 研究：AI 数学学习中求助策略变化预测无辅助表现
一项针对 112 名九年级学生的实证研究发现，在基于生成式 AI 的数学建模练习中，学生求助策略（Help-Seeking）在会话内的动态发展比静态使用摘要更能预测其后续的无辅助测试表现。
推荐理由：研究揭示了九年级学生在数学建模中求助策略的动态变化如何预测其脱离AI后的独立表现，为理解AI辅助学习中的认知投入提供了实证依据。
arXiv cs.CL精选AI 评分7070 Sherpa：通过多轮强化学习训练LLM自适应教学
研究提出Sherpa框架，利用多轮强化学习训练LLM教师，使其能根据模拟学生的不同学习偏好自适应调整教学策略。实验显示，Sherpa训练的教师模型使所有类型模拟学生的平均成绩提升20.5个百分点，在MathTutorBench评估中教学法得分从52.5%提升至79.2%，且在人类偏好测试中79.6%的情况下优于基础模型。
推荐理由：提出Sherpa框架，通过多轮强化学习让LLM教师适应不同学习偏好的模拟学生，显著提升教学效果。
arXiv cs.CLAI 评分4242 K-12 数学辅导中跨模型 LLM 共识不等于诊断学生失败模式的有效性
针对 K-12 数学辅导对话中五种学生失败模式的诊断，研究发现跨模型 LLM 共识（kappa = .755-.781）显著高于人机一致性（kappa = .524-.597）。这表明模型间的高一致性可能制造正确性的假象，不能替代对学习者解释有效性的独立证据。
arXiv cs.CL精选AI 评分7878 K12-KGraph：面向教育大模型评测与训练的课标对齐知识图谱
研究团队提出 K12-KGraph，一个从人教版数学、物理、化学、生物教材中提取的课程对齐知识图谱，涵盖 9 种节点和 14 种关系。基于该图谱构建了包含 23,640 道多选题的 K12-Bench 基准和 7,335 个样本的 K12-Train 微调数据集。
推荐理由：该研究构建了基于人教版教材的知识图谱与评测基准，揭示了当前大模型在课程认知上的短板及微调改进路径。
GitHub · AI 教育AI 评分4242 VeriChalk 面向小学数学教师的可验证命题 Agent
VeriChalk 是一款面向小学数学教师的可验证命题 Agent，支持通过一句话或拍照生成经核验、不超纲的题目或整份试卷，并可导出 PDF 等格式。在 36 个出题用例评测中，其答案正确率为 0.945，超纲率为 0.048，但尚未达到公开发布的质量门槛。
The 74AI 评分3131 观点：慈善应构建数学掌握度评估体系以推动个性化学习
作者建议现代慈善家建立独立、免费且随时的数学掌握度评估体系，以解决学校无法认证学生自学成果的问题。该体系旨在打破传统按年龄分班的限制，支持基于掌握程度的加速学习，从而利用 AI 和 Khan Academy 等资源实现真正的个性化教育。
Google for EducationAI 评分4242 Google 教育官员利用 Gemini 为 K-6 数学教师创建个性化学习资源
Google 教育官员利用 Gemini 构建了符合教学大纲的 K-6 交互式数学挑战和可定制工作表，并在 Google Site 上按三个难度级别组织。此举使教师节省了数小时的备课时间，学生能即时巩固概念。下一步计划培训领导者和教师自行构建此类交互式内容。
GitHub · AI 辅导AI 评分2323 my-math-teacher 服务休眠：基于知识图谱的数学自适应诊断项目
my-math-teacher 服务自 2026-09-08 起休眠，因实际月成本 $217 远超 $37 预算。该服务利用 1,631 个概念的知识图谱进行自适应诊断，通过 MySQL 递归 CTE 将查询 p95 延迟从 14.034 ms 降至 0.556 ms，并实现部署零请求丢失。
Kahoot! BlogAI 评分3838 Aristo Educational Press 如何利用 Kahoot! 变革香港中学教育
Aristo Educational Press 通过“page-to-play”模式将 Kahoot! 集成至其数字教材，实现从阅读到互动的单点击转换。该方案已生成超过 46,000 次游戏，覆盖 570,000 多名学生，其中初中科学系列贡献了 22,000 多名参与者。教师可自由编辑预制的 Kahoot! 内容以适配课堂，未来计划引入 AI 辅助个性化学习。
湖南师大附中AI 评分3333 湖南师大附中参加全国部分大学附中教学协作体第三十三届年会
湖南师大附中校长苏建祥率队赴福州参加全国部分大学附中教学协作体第三十三届年会，五名教师展示融合生成式 AI 的课堂教学。展示课涵盖数学、化学、英语、历史及信息技术学科，利用 GGB 动态建模、AI 辅助答疑、史料比对等技术手段，探索人工智能与学科教学深度融合的新路径。
GitHub · AI in 教育AI 评分4040 devissaputra/classroom_discourse_intelligence：TalkMoves 教师话语分类研究
该研究在 TalkMoves 数据集上对比了多数类基线与 TF-IDF 逻辑回归模型，用于教师话语分类。在 113 个保留测试组中，逻辑回归的 macro-F1 达到 0.5198，显著高于基线的 0.1152，而准确率两者相近。研究强调该结果仅反映编码话语特征，不代表教学质量，且模型未用于教师排名或学生评估。
希沃 Seewo · 企业动态AI 评分4242 希沃课堂智能反馈系统助力成都学校实现600节课循证教研
成都双流区教科院附属学校利用希沃课堂智能反馈系统，在1年内积累近600节课堂数据，推动全校180多名教师开展循证教研。数据显示，全校三分之一的教师在课堂提问等维度上呈现明显改善，16个跨学科主题学习案例获得市级奖项。该系统通过精准诊断教学问题，助力教师实现因材施教与个性化教学优化。
Hechinger Report · AI 专题精选AI 评分8585 多伦多大学研究：Khanmigo AI 导师未显著提升田纳西州中学生数学成绩
多伦多大学研究人员对田纳西州 18 所中学进行为期两年的随机对照试验，发现使用 Khanmigo 的干预组数学成绩虽优于常规补救班，但提升幅度与无 AI 辅助的 Khan Academy 练习相当，未体现额外价值。
推荐理由：研究揭示了AI导师在提升数学成绩上未显著优于传统练习，且学生因抗拒提问而低参与度，为教育AI落地提供关键实证参考。
黑板洞察精选AI 评分7070 千问 App 升级学习功能，新增教材同步辅导与过程引导
9月1日，千问 App 学习功能全面升级，新增与教材同步的单元作文辅导、初中语文和数学教材精讲，并扩展高中和大学数理化拍题讲解能力，相关功能均免费开放。此次升级强化对学习过程的引导，通过分步提问和持续追问，帮助学生理解解题思路而非仅获取答案。
推荐理由：千问升级学习功能，从直接给答案转向过程引导，展示了 AI 在 K12 及高教场景中的具体应用路径。
Google for Education精选AI 评分7575 Google 与 Khan Academy 合作推出 Khanmigo 交互式图表与教师可控练习工具
Google 与 Khan Academy 合作，基于 Gemini 模型为 Khanmigo 推出交互式图表和重新设计的 Practice My Knowledge 工具。Khanmigo 现能生成可交互的数学和科学图表，学生拖动顶点时系统会实时调整课程；新练习工具允许教师上传资料、审核并编辑 Gemini 生成的题目，确保最终内容由教师决定。
推荐理由：展示了 AI 如何从文本辅助转向交互式视觉引导，并确立了教师对 AI 生成内容的最终审核权。
Hechinger Report · AI 专题精选AI 评分7575 新研究显示 AI 导师结合重复练习可提升初中生数学成绩
多伦多大学与宾夕法尼亚大学沃顿商学院的研究人员开展了一项涉及 6000 多名田纳西州初中生的实验，测试 AI 导师在数学分数练习中的作用。结果显示，采用 AI 导师讲解错误并要求连续三次答对同一技能的“掌握式学习”组合，比传统计算机教学高出约 3 个百分点。该优势主要体现在较简单的分数题目上，未延伸至更具挑战性的问题，且实验仅持续 50 分钟，长期效果尚不明确。
推荐理由：研究通过 6000 名初中生实验发现，AI 导师结合重复练习能带来约 3 个百分点的分数提升，为 AI 辅助学习提供了实证参考。
EdTech MusterAI 评分4242 The Program 加速学习实验成果
鉴于大家对教育科技加速学习的热情很高，来看看 The Program。在一项大型实验（900 名学生，32 个班级，代数 1、2 和几何，3 种条件）中，大多数在没有老师帮助的情况下使用 The Program 的学生在半年内就完成了课程！
好未来 · 教育 AI 产品动态AI 评分6060 学而思发布全新培优AI家教及T6系列旗舰学习机
学而思发布全新培优AI家教及T6系列旗舰学习机，将AI诊断规划与AI互动课堂深度打通，形成动态闭环。T6系列搭载APEX自然光护眼技术，其中T6 Max配备15英寸大屏，全系首发价6899元至11999元。
GitHub · AI 辅导AI 评分4040 MathDesk 开源：基于 Google Gemini 的高中数学 AI 辅导系统
MathDesk 开源了基于 Google Gemini 的高中数学 AI 辅导系统，采用苏格拉底式对话引导学习。系统包含 382 个技能节点的技能树，支持自适应辅导与错误回溯，前端使用 React，后端基于 Node.js 和 Firestore。
One Useful ThingAI 评分4242 选择保持人性：AI 写作与学习中的认知挑战
过度依赖 AI 写作会削弱人类思维发展，导致“认知投降”。土耳其高中实验显示，使用 ChatGPT 做作业的学生考试成绩反而低于无 AI 组。相比之下，台北的 AI 导师通过个性化辅导使学生最终考试成绩提高 0.15 个标准差，证明 AI 辅助思考优于直接提供答案。
Andrew Dean HoAI 评分4040 哈佛学者谈AI时代统计学教学
我写了一篇关于如何教授统计学的文章。在为AI时代重新设计课程时，我不会忘记多模态、具身化表征的好处。 五个G：希腊字母、图表、语法、教具和游戏。 发表于新期刊《教育研究教学》：http://doi.org/10.5149/term.3648
TechCrunch · EdTech精选AI 评分7070 OpenAI 为 ChatGPT 推出动态视觉解释功能
OpenAI 为 ChatGPT 推出动态视觉解释功能，允许用户实时调整公式、变量和数学关系以观察变化。该功能目前覆盖超过 70 个数学和科学主题，包括勾股定理、库仑定律和欧姆定律等，所有登录用户均可使用。
推荐理由：该功能将静态解释转为实时交互模块，覆盖70多个数学与科学主题，改变了用户理解公式和变量关系的方式。
IJAIED · AI 在教育中的应用AI 评分1515 初中数学课程学习进阶研究的基于智能体的建模框架
该研究提出了一种用于初中数学课程学习进阶研究的基于智能体（Agent-based）建模框架。该框架旨在通过模拟分析学生在数学学习过程中的认知发展轨迹，为理解学习进阶提供新的方法论支持。