定理解释视频

滑铁卢大学和Vector 研究所的研究人员推出代理系统TheoremExplainAgent，用于生成长篇幅的定理解释视频（超过5分钟），并使用 Manim 动画工具实现可视化。 项目主页：https...