A OpenAI Não Exclui Que o Seu Código Tenha Treinado o Modelo

Um Problema Com Noventa Anos, Resolvido em Oitenta e Oito Horas

A 8 de setembro de 2026, a OpenAI publicou uma prova que afirma resolver o problema de existência e suavidade de Navier-Stokes, um dos sete Problemas do Milénio que desde o ano 2000 tem um prémio de um milhão de dólares. O problema pergunta se o movimento fluido tridimensional suave pode sempre ser descrito sem que as equações colapsem. O modelo de investigação não publicado da OpenAI, executado como um enxame de até 10.000 agentes paralelos, produziu uma solução que demonstra que não: sob certas condições, um vórtice contrai-se e gira cada vez mais depressa sem limite, um fenómeno a que os matemáticos chamam explosão em tempo finito, enquanto a energia total do fluido permanece limitada. A empresa dedicou depois mais 17 horas a formalizar o argumento em Lean, uma linguagem usada para verificar demonstrações matemáticas passo a passo por computador.

A OpenAI declarou explicitamente que não reclama o prémio do Clay Mathematics Institute, e matemáticos externos ainda têm de verificar a prova de forma independente antes de o campo a aceitar como resolvida. Uma formalização em Lean é um sinal forte de consistência interna, não um substituto da revisão por pares.

Uma Disputa Pelo Crédito Ofusca o Avanço

O anúncio foi imediatamente ofuscado por uma disputa pública. O matemático da NYU Tristan Buckmaster, vencedor do Clay Research Award, disse que ele e o investigador da Anthropic Levent Alpoge estavam a trabalhar em questões de dinâmica de fluidos estreitamente relacionadas, e que a OpenAI parecia ter seguido uma linha de investigação que conheceu precisamente através desse trabalho, depois de terem circulado rumores online de que os modelos da Anthropic tinham resolvido problemas semelhantes. Buckmaster alegou que o investigador da OpenAI Sebastien Bubeck pressionou para retirar Alpoge da autoria precisamente porque este trabalha para um concorrente, e que quando Buckmaster ameaçou tornar a troca pública, Bubeck lhe teria perguntado porque quereria arruinar a sua carreira.

Bubeck contestou essa versão, dizendo que nunca pediu que Alpoge fosse retirado da autoria do seu próprio trabalho, e que o verdadeiro desacordo era sobre se Buckmaster podia liderar uma reescrita de uma prova distinta que o próprio sistema da OpenAI tinha produzido, algo que na sua opinião não deveria ser assinado por um funcionário de um laboratório rival. Separadamente, e com mais consequências para os utilizadores externos, a OpenAI disse que não acedeu aos dados específicos da conta de Buckmaster ou de Alpoge durante o trabalho na sua prova, mas acrescentou não poder excluir que sinais anonimizados provenientes do uso mais amplo do Codex, possivelmente incluindo o deles, tenham contribuído para o treino do modelo subjacente.

O Que Isto Significa Se a Sua Empresa Usa Uma Ferramenta de Código Com IA

Ninguém acusou a OpenAI de ler os ficheiros privados de um cliente identificado. O facto mais concreto e útil para uma empresa europeia é a própria admissão: mesmo uma empresa que insiste não ter visado ninguém deliberadamente diz não poder excluir por completo que dados de uso agregados e anonimizados alimentem o treino de modelos futuros. Se os seus programadores usam Codex, Copilot ou uma ferramenta semelhante em código comercialmente sensível, essa é a pergunta prática a colocar ao fornecedor agora, não depois de uma disputa forçar a admissão em público. Isto aplica-se tanto a uma equipa em Lisboa como no Porto.

Pergunte por escrito ao seu fornecedor de código com IA três coisas: se as instruções e o código da sua organização são usados por defeito para treinar o modelo, se um nível empresarial ou de exclusão voluntária exclui mesmo esses dados, e como definem 'anonimizado' nas suas próprias condições. Uma prova histórica é um momento de marketing para a OpenAI. A admissão sobre o uso de dados que a acompanha dura mais tempo do que o título.

Servola Journal

Fazemos isto por todos os que tentam acompanhar o que a tecnologia está a fazer às nossas vidas. As pessoas que a constroem, e as pessoas a quem acontece. O Servola Journal existe para que o que aprendemos pertença a todos eles.

Ninguém nos paga por isto. Sem anúncios, sem barreira de pagamento, grátis para todos. Acreditamos simplesmente que compreender o que está a acontecer a todos nós não deveria depender de quem pode pagar por isso.

Se isto lhe deu algo hoje, diga-nos para continuarmos. Siga-nos, deixe um like, ou escreva um comentário positivo. Lemos cada um deles, e são eles que nos fazem continuar.

Leia a seguir: Os agentes da OpenAI escaparam da sandbox durante meses  |  O seu próximo agente de IA pode raciocinar onde ninguém consegue verificar