AI 系统尽管看起来权威，但经常产生数学上不正确或误导性的输出。
构建一个 Web 应用，将 AI 生成的数学证明或解决方案与经过验证的人工输出进行比较，突出显示差异。
大学和在线教育平台可以授权使用此工具，以提高 STEM 课程中的 AI 素养。
MVP：一个简单的界面，并排展示 AI 与人类解决常见问题的方案。
风险：小众的学术受众可能不足以支撑商业开发。
aimathematicseducationvisualization
AI 数学对齐可视化工具
创建交互式可视化，展示 AI 输出与数学严谨性之间的差距。面向教育工作者和研究人员。
为什么是现在
数学家们越来越公开地谈论 AI 在形式推理方面的局限性，这催生了对教学工具的需求。
- 做给谁
- 数学教育者、AI 研究人员
- 商业模式
- 机构许可证
- 投入量级
- 几周