AI me derrotou oficialmente nas Finais Mundiais do ICPC. Isso me lembra de uma habilidade rara do ICPC: ser capaz de ler rapidamente o código de um colega de equipe e detectar bugs. Essa habilidade leva anos para ser treinada e explica por que a IA geralmente torna a codificação mais lenta (consulte arXiv:2507.09089). Não importa o quão forte a IA fique, os humanos ainda podem precisar gastar tempo verificando a saída da IA... Mas imagine se o ChatGPT funcionasse de forma diferente a partir de amanhã: não o bate-papo usuário-agente, mas o bate-papo de 3 vias usuário-agente-árbitro. ⚖️ O agente (digamos GPT-5) deve convencer um árbitro (digamos GPT-4o) de que sua solução está correta; O papel do usuário é contestá-lo e convencer o árbitro do contrário. Assim como verificar (P) é mais fácil do que inventar (NP), um caminho de prova interativa (IP) pode reduzir ainda mais a habilidade humana e o tempo necessário. Esse sistema de arbitragem de IA pode afastar o fardo dos humanos, permitindo que nos concentremos menos na logística (por exemplo, na leitura de um código) e mais nas decisões que importam. Poderia ser este o caminho para a próxima geração de IA universal? 🚀