TheoremExplainAgent:数学の公式や科学定理をアニメーション動画で解説
TheoremExplainAgentとは?
TheoremExplainAgent(TEA)は、二重エージェントアーキテクチャに基づくSTEM分野向けの定理可視化説明システムであり、アニメーション動画を生成することで、数学の公式や科学の定理を直感的に解説することを目的としています。
TheoremExplainAgentの技術アーキテクチャ
二重エージェント協働フレームワーク:TheoremExplainAgentは、計画エージェント(Planner Agent)とプログラミングエージェント(Coding Agent)による二重エージェント協働フローを採用しています。計画エージェントが定理解析と教学計画を担当し、プログラミングエージェントが教案をManimアニメーションコードへ変換します。
中核技術の支え:アニメーションエンジンとしてManimを使用し、学科知識ベースと融合するためにRAG(Retrieval-Augmented Generation)技術を活用し、評価体系としてTheoremExplainBench (TEB)を採用しています。
TheoremExplainAgentの中核コンポーネント
Planner Agent:定理内容の理解、教学計画の策定、教案の設計、解説スクリプトの作成を担当します。
Coding Agent:Planner Agentが生成した教案をManimアニメーションコードへ変換し、5分間のアニメーション動画と、それに対応する音声解説を生成します。
TheoremExplainAgentの技術的ハイライト
マルチモーダル出力能力:アニメーション、画像、テキスト、数式を組み合わせた表現をサポートし、教学内容をより生き生きと興味深いものにします。
レンダリング速度の向上:従来方式と比較して、レンダリング速度が20%向上しました。
評価体系の革新:五次元の定量的評価基準を初めて提唱し、Spearman相関係数は0.88に達しています。
軽量デプロイ:o3-miniモデルのパラメータを40%削減しつつ、中核性能の93.8%を維持しています。

TheoremExplainAgentの応用シーン
MOOCsプラットフォーム:CourseraやKhan Academyなどでの講座開発において、教学アニメーション素材を自動生成する目的で利用されます。
教育リソースリポジトリ:OpenStaxやLibreTextsなどでのコンテンツ拡充、動的な教材の自動生成に活用されます。
授業支援:従来の授業において、重要な知識ポイントを補足する資料として活用されます。
自主学習ツール:学生は授業後、これらの動画を視聴することで、学んだ知識を自習して定着させることができます。
オンライン教育プラットフォーム:プラットフォームはこのツールを利用して、その講座ライブラリ内のマルチメディアリソースを充実させることができます。
家庭学習:保護者はこれらの動画を用いて、子どもに追加的な支援を提供することができます。
TheoremExplainAgentの技術的優位性
人手による評価効率の向上:従来手法と比較して、人手による評価効率は4倍に向上しました。
LaTeX数式解析の正確率:98.6%という高い精度を実現しています。
学科記号システムのサポート:20以上の学科記号システムをサポートし、GPT、Claude、Geminiなど複数のモデルAPIとの互換性を備えています。
プロジェクトURL:https://tiger-ai-lab.github.io/TheoremExplainAgent/
論文URL:https://arxiv.org/pdf/2502.19400
脚本プランナー▸
AIアプリ
AIニュース 