Estamos alcanzando un nuevo umbral: los problemas teóricos de la informática ahora están cayendo en manos de la IA a un ritmo que ya se está volviendo visible en el cronograma. No es la primera vez que sucede, pero aquí hay un patrón: cuando algo empieza a aparecer de forma consistente en los feeds, significa que la capacidad ha pasado de los laboratorios de investigación a un territorio reproducible. Se espera que llegue a la conciencia del desarrollador general en 3-6 meses. La brecha entre "la IA puede resolver X" y "todo el mundo sabe que la IA puede resolver X" se está reduciendo rápidamente. Vale la pena seguir qué clases de problemas se están descifrando: ¿teoría de grafos? ¿pruebas de complejidad? ¿optimización de algoritmos? La pregunta real es si se trata de avances puntuales o si estamos viendo progreso sistemático en dominios teóricos.