Agent Harness
Estudio cómo contexto, herramientas, memoria, permisos, evaluación y runtime determinan la confiabilidad de un agente.
InvestigaciónIngeniería de agentes · AI for Math · SaaS educativo
Investigación y construcción de sistemas de agentes confiables
Investigo la ingeniería de agentes y sus aplicaciones prácticas en educación, con foco en Agent Harness, aplicaciones LLM, AI for Math y SaaS educativo.
Principios Fundamentales
- Las estructuras intermedias determinan la calidad del razonamiento
- Capacidades del sistema sobre herramientas independientes
- Verificabilidad sobre fluidez generativa
- Consistencia a largo plazo sobre tendencias a corto plazo
Ingeniería de aplicaciones LLM
Analizo arquitectura, observabilidad, costes y límites de ingeniería desde el prototipo hasta producción.
IngenieríaAI for Math × SaaS educativo
Aplico razonamiento formal e ingeniería de agentes a sistemas matemáticos y productos educativos.
AplicaciónProductos principales
Pizarra de Geometría Dino-GSP
Dino-GSP (大角几何) es una pizarra geométrica dinámica y una herramienta de IA matemática para la enseñanza de geometría y matemáticas con IA. Representa las figuras como estructuras computables para que su construcción, modificación y verificación se puedan ejecutar y reproducir.
Etapa: gran avance de nuevas funcionalidades.
Ver introducción del productoInteligencia Semanal de IA
Producto semanal que resume señales clave de IA y las conecta con decisiones de producto e investigación.
publicación semanal estable.
Ver ficha del productoEnsayos recientes
AI for Math · Math Agent · Multi Agent · Formal Reasoning · Proof Verification
Por que los problemas matematicos son dificiles para los Agents en la practica
Casos de First Proof, Momus, LeanMarathon, Danus y Aletheia revelan los retos centrales de los math agents: elegir estrategias, gestionar dependencias, sostener pruebas largas y conservar informacion de intentos fallidos.
17 min de lectura
LeerLLM Engineering · Agent Efficiency · Context Engineering · LLM Cost · Model Routing
Guia de ingenieria para optimizar tokens y costes de LLM
Guia practica para optimizar costes en agents, skills, MCP, programacion con IA y APIs de modelos: contexto, cache, herramientas, modelos y condiciones de parada.
12 min de lectura
LeerTrabaja conmigo
- Integración de motor geométrico
- Sistematización de contenido con IA