VeriChalk 面向小学数学教师的可验证命题 Agent
VeriChalk 是一款面向小学数学教师的可验证命题 Agent，支持通过一句话或拍照生成经核验、不超纲的题目或整份试卷，并可导出 PDF 等格式。在 36 个出题用例评测中，其答案正确率为 0.945，超纲率为 0.048，但尚未达到公开发布的质量门槛。
#数学
GitHub · AI 教育AI 评分4242
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，并实现部署零请求丢失。
黑板洞察精选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 生成内容的最终审核权。
好未来 · 教育 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。
TechCrunch · EdTech精选AI 评分7070 OpenAI 为 ChatGPT 推出动态视觉解释功能
OpenAI 为 ChatGPT 推出动态视觉解释功能，允许用户实时调整公式、变量和数学关系以观察变化。该功能目前覆盖超过 70 个数学和科学主题，包括勾股定理、库仑定律和欧姆定律等，所有登录用户均可使用。
推荐理由：该功能将静态解释转为实时交互模块，覆盖70多个数学与科学主题，改变了用户理解公式和变量关系的方式。