La IA me ha vencido oficialmente en la Final Mundial de ICPC. Me recuerda a una habilidad rara de ICPC: poder leer rápidamente el código de un compañero de equipo y detectar errores. Esta habilidad lleva años de entrenamiento, y explica por qué la IA a menudo hace que la codificación sea más lenta (ver arXiv:2507.09089). No importa cuán fuerte se vuelva la IA, los humanos aún pueden necesitar pasar tiempo verificando la salida de la IA... Pero imagina si ChatGPT funcionara de manera diferente a partir de mañana: no chat usuario-agente, sino chat de tres vías usuario-agente-arbitro. ⚖️ El agente (digamos GPT-5) debe convencer a un árbitro (digamos GPT-4o) de que su solución es correcta; el papel del usuario es desafiarlo y convencer al árbitro de lo contrario. Así como verificar (P) es más fácil que inventar (NP), un camino de prueba interactiva (IP) podría reducir aún más la habilidad y el tiempo humano requeridos. Tal sistema de IA-arbitro podría desplazar la carga de los humanos, permitiéndonos centrarnos menos en la logística (por ejemplo, revisar un código) y más en decisiones que importan. ¿Podría este ser el camino hacia la próxima generación de IA universal? 🚀