Dez mil agentes resolveram em 88 horas o que a humanidade não resolveu em 90 anos. Doze horas antes, dois matemáticos de carne e osso haviam anunciado quase a mesma coisa. E os rascunhos deles estavam guardados dentro da máquina do adversário.
A coincidência tem nome: Navier-Stokes, existência e suavidade, um dos Problemas do Milênio.
O anúncio brutal e a verificação pendente
Os números da OpenAI são de outra escala: modelo interno mais capaz que o Astra, cerca de 10 mil agentes, quase 3 milhões de mensagens trocadas, 130 bilhões de tokens de saída, formalização em Lean cobrindo duas das quatro afirmações exigidas. A conta fecha em 10 milhões de dólares de computação para não reivindicar o prêmio de 1 milhão.
E o parêntese que a conta não fecha: a solução ainda não foi verificada de forma independente nem aceita pelo Instituto Clay. O feito técnico é notável; o status é de afirmação, não de prova aceita.
O problema não é a matemática, é a procedência
A disputa que o caso abriu é a mais importante do ano para quem usa IA no trabalho intelectual: Tristan Buckmaster e Levent Alpöge vinham colocando rascunhos de seus trabalhos no Codex havia um ano. Quando Buckmaster perguntou se o modelo havia sido treinado com aquelas sessões, não recebeu resposta sobre treino.
A OpenAI nega acesso a dado específico de usuário, mas admite que não pode descartar que dados anonimizados derivados do uso tenham ajudado a melhorar os modelos. Leia a frase com atenção: anonimizado remove o nome, nunca a autoria da ideia. É a síntese do próprio Andreas Thom, de Dresden, que perguntou sobre treino e acesso às suas sessões, recebeu uma linha de resposta e desligou o treino em 29 de junho: um botão que é promessa sem auditoria externa e só vale para frente.
A matéria-prima da próxima corrida
A conclusão é incômoda e simples: quem coloca rascunho inédito em chatbot entrega a matéria-prima da próxima corrida e ainda assiste de fora.
O caso generaliza além da matemática. Todo rascunho inédito (de produto, de estratégia, de pesquisa, de código) colado em ferramenta de terceiros é o mesmo movimento: a matéria-prima mais valiosa da empresa atravessando a fronteira com política de retenção escrita pelo destinatário. O inventário de chaves mapeia quem pode desligar; o inventário de circulação mapeia o que está sendo ensinado de graça.
O inventário que nenhum laboratório faz para você
Na Tech86, o exercício que acompanha casos assim é o inventário de circulação:
- Mapear os fluxos: onde dado sensível entra em contato com IA (rascunho, revisão, código, contratos).
- Classificar o intocável: o dado que jamais alcança modelo de terceiros (inédito, estratégico, de cliente).
- Verificar a promessa: desligar treino é botão do fornecedor; zero retenção vale o que a auditoria comprova.
- Estabelecer a regra do rascunho inédito: sai da empresa só em ferramenta com isolamento comprovado, ou não sai.
É o mesmo espírito do checklist de resposta a incidente: a preparação é anterior ao evento. No caso Navier-Stokes, o evento foi a notícia; a lição é para o rascunho que você colou ontem.
Conclusão
88 horas, 10 mil agentes, 10 milhões de dólares: a prova técnica de que agentes em enxame resolvem Problemas do Milênio. E uma disputa de procedência que prova outra coisa: o insumo da IA é o trabalho intelectual alheio, e a fronteira dele é a sua política de dados.
A pergunta que o caso deixa para toda empresa que usa IA: se amanhã alguém perguntasse ao seu fornecedor "esse modelo foi treinado com meus rascunhos?", qual seria a resposta, e quem a auditaria? A torneira se fecha com inventário, não com confiança.