OpenAI anuncia solução do problema de Navier-Stokes e gera polêmica

O que aconteceu

A OpenAI anunciou nesta terça-feira, em blog post, que descobriu uma solução para o problema de Navier-Stokes, que descreve o fluxo de líquidos e gases e permanecia sem solução há cerca de 90 anos. A informação foi antecipada pelo The New York Times e pela Wired antes do anúncio oficial.

Segundo a empresa, a solução foi produzida por um modelo de IA interno mais poderoso que o recém-lançado GPT-6 Astra, operando junto com 10.000 agentes simultâneos. A OpenAI informou que começou a treinar esse modelo interno em 28 de agosto e que ele apresentou desempenho inédito nos benchmarks da companhia, incluindo matemática.

O problema de Navier-Stokes é um dos sete Millennium Prize Problems, cada um com recompensa de US$ 1 milhão para quem o resolver.

Contexto

A controvérsia começou um dia antes do anúncio. Tristan Buckmaster, professor de matemática da New York University, publicou resultados sobre um problema relacionado em parceria com Levent Alpöge, pesquisador da Anthropic. Ao anunciar os achados, Buckmaster afirma que contatou a OpenAI depois de saber que a empresa tinha conhecimento do progresso do duo.

Buckmaster descobriu que a OpenAI havia produzido uma prova para a equação de Navier-Stokes usando uma rota que ele e Alpöge vinham explorando com o Codex, da OpenAI, e o Claude, da Anthropic. Os dois pesquisadores mantinham todos os rascunhos do projeto em sessões do Codex.

Por que importa

A dúvida central é sobre a origem dos dados usados no avanço. "Perguntei se o modelo tinha sido treinado com, ou tinha acesso a, nossas sessões no Codex, nas quais colocamos todos os nossos rascunhos durante todo este projeto", escreveu Buckmaster. "Disseram-me que o modelo não consultou dados de usuários. Perguntei de novo, sobre treinamento, e não obtive resposta."

Se provas geradas por IA dependerem de trabalho humano não creditado, a confiança da comunidade matemática em resultados assistidos por modelos pode ser abalada. O caso também testa as políticas de privacidade e treinamento das empresas de IA em situações de alto valor científico.

Impacto

A OpenAI tentou conter as suspeitas no anúncio de terça-feira. A empresa afirmou que "nenhum dado específico de usuário foi acessado para resolver este problema". Mas acrescentou uma ressalva: "embora improvável, não podemos descartar que dados desidentificados derivados do uso de nossos produtos tenham ajudado a melhorar nossos modelos".

Procurada pelo The Verge, a OpenAI apontou para sua declaração no X, que repete o teor do blog post. A admissão de que não é possível descartar totalmente o uso de dados derivados de usuários mantém viva a disputa sobre a autoria intelectual da solução.

O que muda

Para a matemática, uma solução de Navier-Stokes, se confirmada pela comunidade, encerraria um dos problemas mais famosos da disciplina e renderia US$ 1 milhão do prêmio Millennium. Para a indústria de IA, o episódio mostra que modelos internos da OpenAI já atacam problemas de elite com escala inédita, como 10.000 agentes simultâneos, e que a fronteira entre inspiração e apropriação de pesquisa humana virou questão prática.

O que vem agora

A solução da OpenAI precisará ser verificada pelos matemáticos antes de ser aceita como válida. Do lado da controvérsia, Buckmaster segue sem resposta da empresa sobre a questão do treinamento, e a ressalva pública da OpenAI sobre dados desidentificados deve alimentar o debate sobre auditoria de modelos e crédito científico nos próximos meses.