能证明什么，不能证明什么，都写清楚。

系统已经验证部分软件行为，但 学习效果尚未测量。在真实学生前测、后测和延迟测完成以前，不声称长期提分。