TheoremExplainAgent是一个AI系统，能生成Manim视频解释定理，揭示文本难以发现的推理缺陷，用于研究目的。