En early 2026, demos mostraron agentes que leen papers con figuras, escriben código de experimentación y formalizan lemmas intermedios.
La integración no es perfecta: errores de OCR científico y de diagramas persisten. Aun así, el throughput de un investigador asistido creció.
El patrón alimenta tanto labs de producto como esfuerzos de IA para matemáticas puras.