TheoremExplainAgent: объяснение математических формул и научных теорем с помощью анимированных видео 197

Что такое 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%.

• Инновационная система оценки: впервые создан пятимерный количественный стандарт оценки с коэффициентом корреляции Спирмена 0,88.

• Облегчённое развёртывание: количество параметров модели o3-mini сокращено на 40% при сохранении 93,8% основной производительности.

Сценарии применения TheoremExplainAgent

• Платформы MOOCs: такие как Coursera, Khan Academy, используются для разработки курсов и автоматической генерации учебных анимационных материалов.

• Образовательные ресурсы: такие как OpenStax, LibreTexts, используются для расширения контента и автоматической генерации динамических учебных материалов.

• Вспомогательное средство для классных занятий: использование в качестве дополнительного материала на традиционных уроках для демонстрации ключевых понятий.

• Инструмент для самостоятельного обучения: студенты могут повторять и закреплять изученный материал после уроков, просматривая эти видео.

• Платформы онлайн-образования: платформы могут использовать этот инструмент для обогащения мультимедийных ресурсов в своих библиотеках курсов.

• Домашнее репетиторство: родители могут использовать эти видео для оказания дополнительной помощи и поддержки детям.

Преимущества TheoremExplainAgent

• Повышение эффективности ручной оценки: по сравнению с традиционными методами эффективность ручной оценки увеличена в 4 раза.

• Точность распознавания формул LaTeX: до 98,6%.

• Поддержка систем символов: поддержка более 20 систем символов предметных областей, совместимость с API нескольких моделей (GPT, Claude, Gemini).

Адрес проекта:https://tiger-ai-lab.github.io/TheoremExplainAgent/

Адрес статьи:https://arxiv.org/pdf/2502.19400