寻找教学视频自动审校方案：如何发现口误、板书和公式错误？Looking for an AI-assisted QA solution for educational videos: speech, whiteboard, formula, and subtitle review