Penmentor: tutor de IA que corrige matemáticas en tiempo real

Fuentes: Penmentor: AI tutor that corrects math in real-time

Penmentor es una herramienta de software de código abierto que actúa como un tutor de matemáticas integrado en el entorno de escritorio. Su función principal es permitir al usuario escribir en un tablet gráfico, como xournal++, y recibir retroalimentación inmediata mediante inteligencia artificial. Al presionar una tecla específica, el sistema analiza el trabajo en mano y lo marca en la pantalla con colores, similar a un profesor revisando el papel, señalando errores y correctitudes.

La herramienta destaca por su enfoque pedagógico: en lugar de proporcionar respuestas directas, ofrece pistas progresivas que guían al estudiante hacia la solución, fomentando el pensamiento activo. Además, permite al usuario seleccionar conceptos específicos para generar animaciones interactivas estilo 3Blue1Brown, utilizando la librería manim, lo que facilita la visualización de conceptos abstractos como las sumas de Riemann.

Penmentor opera como un agente de línea de comandos compatible con múltiples modelos de IA, incluyendo Claude, Codex y Gemini, permitiendo a los usuarios elegir su preferencia en la configuración. El sistema es consciente de la página completa, no solo de la parte visible en la pantalla, y requiere un entorno Linux con X11, dependencias específicas como PyQt6 y herramientas de automatización como rofi o xdotool. Esta solución busca integrar la IA en el flujo de trabajo diario del estudiante de matemáticas, ofreciendo una alternativa más interactiva y contextual que las aplicaciones de captura de pantalla tradicionales.