Entrada multimodal orientada pelo professor
Digite o enunciado ou envie imagens. Anexe uma resolução, instruções pedagógicas e objetos visuais que podem entrar na animação.
apresentação do projeto · código aberto
Matemática olímpica
em movimento.
Projeto de pesquisa e desenvolvimento sobre autoria docente de animações para educação matemática. O protótipo organiza agentes de IA Gen, Manim, narração sincronizada e revisão humana em um fluxo supervisionado.
00 / proposta
O Olympianim é um aplicativo local de autoria docente que organiza a produção de vídeos de apresentação e resolução para problemas de matemática olímpica, combinando IA Gen, Manim e revisão do professor.
01 / estudos de caso
Vídeos gerados a partir
de problemas olímpicos.
Os problemas de referência vêm da 20ª OBMEP 2025, da 4ª Olimpíada Mirim — OBMEP 2025 e da 7ª Competição Elon Lages Lima de Matemática 2026. Os enunciados não são reproduzidos nesta página; consulte as fontes oficiais indicadas em cada estudo. Enunciados, marcas e materiais correlatos permanecem sob os direitos de seus titulares e não integram a licença MIT do aplicativo.
02 / escopo do protótipo
Funcionalidades
implementadas.
O protótipo reúne planejamento didático, geração e edição de código, renderização e documentação do processo em um fluxo supervisionado.
Agentes de IA Gen
Solucionador, planejador, construtor e depurador atuam em etapas distintas.
Humano no ciclo
Base matemática, planos e códigos param para revisão. Nada é renderizado sem aprovação.
Voz e sincronização nativas
Manim Voiceover coordena fala e animação. O app preserva SRT e transcrição de cada vídeo.
Editor Manim
Edite Python diretamente ou peça uma proposta à IA Gen. Salve conscientemente, restaure versões e renderize de novo com outra voz.
Legenda
Baixe o SRT ou incorpore legendas coloridas ao MP4.
Acompanhar consumo
Chamadas, tokens, áudio e custo estimado por projeto, agente, modelo e período.
Exportação
Gere um ZIP do projeto com prompts, vídeos e códigos.
03 / fluxo de produção
Etapas de geração
dos vídeos.
O fluxo gera primeiro a apresentação do problema, e depois a resolução.
entrada do projeto
Dados usados pelo fluxo
Enunciado e respectivas imagens; objetos visuais; solução textual ou fotografada, quando fornecida; orientações do usuário; modelo de IA Gen, voz e paleta de cores selecionados.
Base matemática
-
01solucionador
Preparação da base
Uma solução textual enviada pelo usuário é adotada diretamente. Se houver uma imagem da solução, o solucionador a interpreta; se não houver solução, ele produz uma proposta matemática.
Bases produzidas pelo modelo aguardam aprovação, edição ou nova geração antes de continuar.
Apresentação
-
02planejador
Plano da apresentação
O planejador recebe o enunciado, as orientações e a base matemática e gera o roteiro.
O usuário pode editar, regenerar ou aprovar o plano.
-
03construtor
Código da apresentação
O construtor converte o plano aprovado em código Manim com narração e sincronização.
O usuário pode editar, regenerar ou aprovar o código.
-
04Manim · corretor
Renderização
O código aprovado é renderizado. Uma falha causada pelo código pode acionar o corretor e uma nova tentativa, até o limite configurado.
Saída: vídeo de apresentação, legendas e transcrição.
pausa do fluxo
O aplicativo exibe a apresentação e aguarda o usuário selecionar Gerar resolução.
Resolução
-
05planejador
Plano da resolução
O planejador usa o enunciado, as orientações e a mesma base matemática definida no início.
O usuário pode editar, regenerar ou aprovar o plano.
-
06construtor
Código da resolução
O construtor converte o plano aprovado em outro código Manim com narração e sincronização.
O usuário pode editar, regenerar ou aprovar o código.
-
07Manim · corretor
Renderização
O código aprovado é renderizado e segue o mesmo ciclo de correção técnica usado na apresentação.
Saída: vídeo de resolução.
04 / stack e arquitetura
Componentes usados
no protótipo.
A aplicação é escrita em Python e executada localmente. A separação por camadas mantém interface, orquestração, produção audiovisual e persistência com responsabilidades identificáveis.
interface e autoria
Streamlit ≥ 1.59
Interface multipágina, formulários de revisão, estado de sessão e Editor Manim com controle explícito de versões.
agentes e estado
LangGraph ≥ 1.2 + LangChain ≥ 1.0
Grafo de agentes, checkpoints por projeto, interrupções para aprovação humana e retomada das etapas.
animação, voz e vídeo
Manim Community 0.20.x + Manim Voiceover ≥ 0.4
Construção das cenas, sincronização da narração, legendas SRT e renderização com FFmpeg, Cairo, Pango e LaTeX.
dados e contratos
SQLite + Pydantic ≥ 2.13
Projetos, eventos, versões, preferências e checkpoints locais, com contratos tipados para os dados do fluxo.
runtime
Python 3.12
Linguagem oficial de desenvolvimento da aplicação.
modelos de IA Gen
OpenAI · Google · Anthropic
Adaptadores opcionais; o modelo pode ser escolhido por etapa.
05 / interface do protótipo
Telas e etapas
da aplicação.
Conheça as áreas disponíveis no aplicativo. As capturas foram feitas na versão atual do Olympianim.
06 / licença e custos
Código aberto no GitHub.
Requer chave de API para uso.
O código-fonte original do aplicativo Olympianim é gratuito e disponibilizado sob a licença MIT. Para utilizar o fluxo de geração da versão atual, o usuário precisa conectar sua própria chave de API da OpenAI, Google ou Anthropic. Esses serviços são externos e podem cobrar pelo consumo diretamente em suas plataformas.
Código no GitHub
Qualquer pessoa pode baixar, instalar e modificar o código original do Olympianim conforme as condições da licença MIT.
Provedores externos
OpenAI, Google e Anthropic mantêm suas próprias contas, preços e cobranças. É responsabilidade do usuário conectar sua própria chave de API.
Outros provedores
Como o código é aberto, desenvolvedores podem modificá-lo e implementar adaptadores para outros modelos ou serviços de IA Gen.
O Olympianim não vende créditos e não define os preços praticados pelos provedores, somente estabelece como serão utilizados.
Ver código no GitHub07 / provedores compatíveis
Integrações de IA Gen e voz.
O catálogo suporta OpenAI, Google e Anthropic para texto, além de OpenAI e Google para voz. A seleção pode mudar entre solução, planejamento, construção e edição.
CapacidadeOpenAIGoogleAnthropic
Planejar e gerar códigosimsimsim
Interpretar imagenssimsimsim
Narração integradasimsim—
Modelos personalizados no catálogosimsimsim
Disponibilidade e preços pertencem aos provedores e podem mudar. O aplicativo usa suas próprias chaves de API.
08 / limitações
Limites atuais
do projeto.
O Olympianim é um protótipo de pesquisa. Os pontos abaixo registram suas restrições técnicas e operacionais e delimitam a evidência disponível até o momento.
infraestrutura
Dependência de serviços externos
Geração por IA Gen e algumas vozes dependem de APIs sujeitas a custo, cota, latência, indisponibilidade e mudanças de comportamento dos modelos.
execução
Renderização sensível ao ambiente
Manim, LaTeX, fontes, FFmpeg, Cairo e Pango precisam estar corretamente instalados. Diferenças de versão ou configuração podem alterar ou impedir a renderização.
autoria e refinamento
Gerar sem programar não garante uma animação perfeita
O aplicativo é um protótipo e permite produzir animações sem escrever código, mas o resultado pode exigir ajustes técnicos, visuais, de composição, ritmo ou sincronização.
evidência educacional
Resultados de aprendizagem ainda precisam ser investigados
Os exemplos comprovam a execução do fluxo, mas não demonstram, isoladamente, ganho de aprendizagem, pois não houve aplicação em contexto de sala de aula.
delimitação
O Olympianim é um protótipo de pesquisa e as limitações listadas são inerentes à versão atual. O desenvolvimento prossegue visando aprimorar a experiência de autoria e explorar novas integrações.
09 / pesquisa
Artigo científico
O artigo que apresenta o sistema foi publicado na Revista Tecnologias Educacionais em Rede (ReTER) e está disponível para leitura.
status da publicação
Publicado
Acessar artigo
DOI: 10.5902/2675995097810
código · documentação · estudos de caso