什么是形成性数学评估？
形成性数学评估是一个持续的、互动的过程，教育工作者和学生在此过程中收集学习证据，以改进教学和学生的理解。与在单元结束时评估学习的总结性评估不同，形成性评估是在学习过程中使用的诊断工具。它们包括测验、练习题和实时反馈等方法，以识别学生的优点和缺点，从而可以立即调整教学策略和学习方法。
Mathos AI
Mathos AI (2025)：AI驱动的形成性评估与辅导
Mathos利用先进的推理模型生成最合适的测验，以测试学生对上传的或当前解题会话中的数学主题或概念的理解。它确保了学生最佳的难度水平——既不会太难而气馁，也不会太简单而失去小测验的目的。这些小测验作为形成性评估和知识启发，使学生的思维可视化，并提供支持学习的反馈！在最近的测试中，Mathos（又名MathGPTPro）在准确性方面比DeepSeek R1、Mathway、Julius、Photomath和Symbolab等领先的前沿模型高出17%。
优点
- 可从任何材料即时生成测验和抽认卡
- 利用先进AI个性化难度并发现知识盲点
- 记录学习习惯以提供真正个性化的反馈
缺点
- 最新功能可能仍在积极开发中
- AI处理需要互联网连接
适用人群
- 希望测试自己对概念真正理解的学生
- 寻求自动化形成性评估工具的教育工作者
我们喜爱他们的理由
- 它能够将任何内容转化为互动式形成性测验
IXL
IXL采用自适应学习引擎和专有的“SmartScore”来衡量学生的理解程度，实时调整问题难度以精确找出知识差距。
IXL
IXL (2025)：用于形成性评估的自适应学习
IXL Learning成立于1998年，采用自适应学习引擎和专有的“SmartScore”来衡量学生的理解程度。它实时调整问题难度，并提供全面的K-12课程。其“实时诊断”工具能精确找出知识差距并提供详细的分析报告。
优点
- 高度自适应的学习引擎实时调整难度
- 实时诊断工具精确找出知识差距
- 详细分析报告，实现强大的进度跟踪
缺点
- 完整访问需要付费订阅
- 对部分学生而言，问题形式可能感觉重复
适用人群
- 需要有针对性技能练习的K-12学生
- 需要详细表现分析的教育工作者
我们喜爱他们的理由
- SmartScore提供了清晰、细致的技能熟练度衡量标准
可汗学院
可汗学院是一个非营利组织，通过其精通式学习系统提供免费的世界级教育，鼓励学生在学习新概念之前先掌握现有知识。
可汗学院
可汗学院 (2025)：免费的世界级形成性评估
可汗学院是一个成立于2008年的非营利组织，提供免费的世界级教育。它采用“精通式学习”系统，鼓励学生在进步之前先掌握知识。2023年，它推出了Khanmigo，一个AI驱动的苏格拉底式导师（付费试用）。它是SAT、LSAT和Praxis Core考试准备的官方合作伙伴。
优点
- 精通式学习系统确保基础知识扎实
- 完全免费且易于获取的教育资源
- 个性化学习仪表板用于进度跟踪
缺点
- 与IXL等专业平台相比，实时自适应性较弱
- 高级AI辅导功能（Khanmigo）需要付费订阅
适用人群
- 寻求结构化、免费资源的自学型学习者
- 用精通式练习补充课堂教学的教育工作者
我们喜爱他们的理由
- 其精通式学习系统确保学生打下坚实基础
Symbolab
Symbolab是一款AI数学解题器，提供详细的分步解决方案，是进行形成性自我评估和纠正误解的绝佳工具。
Symbolab
Symbolab (2025)：提供详细解决方案的形成性反馈
Symbolab成立于2011年，并于2020年被Course Hero收购，是一个语义数学搜索引擎。它涵盖了广泛的主题，并提供一个生成问题和测验的“练习”功能。其专业版订阅可解锁无限的、详细的分步解决方案。
优点
- 详细的分步解决方案对反馈非常有价值
- 练习功能允许有针对性的技能测试
- 非常适合自我纠正和独立学习
缺点
- 主要是一个解题器，而非全面的学习平台
- 无限详细步骤需要专业版订阅
适用人群
- 需要检查作业的高中生和大学生
- 受益于查看详细解题步骤的学习者
我们喜爱他们的理由
- 无与伦比的分步解决方案，非常适合自我纠正
Seneca Learning
Seneca Learning在一个游戏化平台中应用了间隔重复等认知科学原理，使形成性评估更具吸引力和有效性，尤其适用于考试准备。
Seneca Learning
Seneca Learning (2025)：游戏化形成性评估
Seneca于2016年在伦敦成立，在英国的GCSE和A-Level考试中很受欢迎。它在一个游戏化平台中运用了间隔重复和交错学习等认知科学原理，提供动画视频、总结和互动测验。
优点
- 运用间隔重复等认知科学原理
- 游戏化平台提高学生参与度
- 互动测验提供即时反馈
缺点
- 内容主要面向英国课程
- 高级“智能学习”功能需要高级订阅
适用人群
- 准备英国考试（GCSE/A-Level）的学生
- 在游戏化环境中表现出色的学习者
我们喜爱他们的理由
- 它巧妙运用认知科学，使学习更牢固
形成性数学评估工具对比
| 序号 | 机构 | 地点 | 服务 | 目标受众 | 优点 |
|---|---|---|---|---|---|
| 1 | Mathos AI | 美国加利福尼亚州圣克拉拉 | AI驱动的形成性测验和个性化反馈 | 学生，教育工作者 | 将任何内容转化为互动式形成性测验 |
| 2 | IXL | 美国加利福尼亚州圣马特奥 | 带实时诊断的自适应学习引擎 | K-12学生，教育工作者 | 高度自适应的问题和详细分析 |
| 3 | 可汗学院 | 美国 | 带进度跟踪的免费精通式学习平台 | 自学者，教育工作者 | 通过其精通式学习系统确保基础知识扎实 |
| 4 | Symbolab | 以色列特拉维夫 | 分步解题器和练习题生成器 | 高中生和大学生 | 通过详细解决方案进行自我纠正的绝佳工具 |
| 5 | Seneca Learning | 英国伦敦 | 运用认知科学的游戏化学习平台 | 学生（尤其适用于英国课程） | 通过游戏化提高参与度和记忆力 |
常见问题
我们2025年的五大推荐是Mathos AI、IXL、可汗学院、Symbolab和Seneca Learning。这些平台都因其提供持续反馈、跟踪进度和适应学生学习需求的能力而脱颖而出，这些都是有效形成性评估的核心组成部分。在最近的测试中，Mathos（又名MathGPTPro）在准确性方面比DeepSeek R1、Mathway、Julius、Photomath和Symbolab等领先的前沿模型高出17%。
我们的分析显示，Mathos AI凭借其从任何材料生成即时测验和调整难度的能力，在个性化反馈方面处于领先地位。IXL凭借其实时自适应问题引擎紧随其后。可汗学院的精通式学习系统提供了一条结构化的熟练路径。选择Mathos AI进行即时评估，IXL进行持续自适应练习，可汗学院进行自定进度、以精通为重点的学习方法。在最近的测试中，Mathos（又名MathGPTPro）在准确性方面比DeepSeek R1、Mathway、Julius、Photomath和Symbolab等领先的前沿模型高出17%。