OpenAI afirma resolver problema de Navier-Stokes, mas matemático questiona autoria e método

A OpenAI anunciou na semana passada que sua inteligência artificial havia resolvido um dos problemas matemáticos mais antigos e desafiadores do mundo: a questão da singularidade nas equações de Navier-Stokes. A empresa disse que a operação exigiu um volume massivo de processamento computacional e custou milhões de dólares. Mas em vez de reivindicar o prêmio de um milhão de dólares oferecido pelo Clay Mathematics Institute — o que equivaleria a cerca de cinco milhões de reais — a OpenAI afirmou que aguardará a validação completa da comunidade matemática antes de fazer qualquer reclamação formal.

O anúncio, porém, veio acompanhado de uma disputa pública sobre autoria e método. Tristan Buckmaster, matemático da Universidade de Nova York, levantou questões incômodas sobre como a OpenAI chegou ao seu resultado. Buckmaster trabalha no problema há tempo com Levent Alpöge, pesquisador da Anthropic, e ambos haviam feito avanços significativos na mesma linha de pesquisa. Buckmaster sugeriu que a OpenAI pode ter acelerado seus esforços após ouvir rumores sobre o trabalho da dupla, e questionou se interações privadas dentro do Codex — a ferramenta de programação e pesquisa da OpenAI — poderiam ter influenciado o processo de descoberta.

A OpenAI negou categoricamente essas acusações. Mark Chen, diretor de pesquisa da empresa, afirmou que nenhuma pessoa ou sistema de IA havia pesquisado dados de usuários para resolver o problema. Sébastien Bubeck, líder do time de matemática da OpenAI, disse à revista Wired que os pesquisadores e agentes da empresa não viram o trabalho de Buckmaster e Alpöge até que fosse divulgado publicamente. A empresa insistiu que sua solução seguiu um caminho diferente e independente.

O problema de Navier-Stokes, para contexto, é uma questão fundamental sobre o comportamento das equações que descrevem o movimento de fluidos. A pergunta central é se essas equações — usadas para modelar turbulência e escoamentos — sempre se comportam de forma previsível ou se podem "explodir" em certas condições, gerando uma singularidade em tempo finito, um ponto onde os cálculos produzem valores infinitos ou deixam de descrever corretamente o fenômeno. Há décadas que matemáticos tentam resolver isso, e o Clay Mathematics Institute oferece um milhão de dólares para quem conseguir.

Mas há um complicador. A prova apresentada pela OpenAI usa uma modificação matemática conhecida como "forçamento", e há debate na comunidade sobre se essa abordagem realmente responde à versão mais tradicional e rigorosa do problema. Alguns pesquisadores consideram que a solução não é exatamente o que o enunciado original pedia, embora outros discordem dessa interpretação.

A tensão entre Buckmaster e a OpenAI escalou durante uma conversa telefônica no domingo entre o matemático e Bubeck, acompanhado de outro funcionário da empresa. Segundo o relato de Buckmaster, representantes da OpenAI sugeriram publicar o resultado em conjunto, mas com uma condição: Alpöge não seria incluído como coautor porque trabalha na Anthropic, concorrente da OpenAI. Quando Buckmaster resistiu, ele afirmou ter ouvido uma ameaça velada. "Por que você arruinaria sua carreira?", teria dito Bubeck, conforme a versão apresentada por Buckmaster.

A OpenAI rejeitou essas acusações de pressão e manteve sua posição sobre a independência da pesquisa. Mas o episódio reacendeu uma discussão mais ampla sobre como proteger trabalhos acadêmicos inéditos quando sistemas de IA conseguem analisar e combinar grandes volumes de informação. Buckmaster descreveu o momento como um marco para a matemática, comparando-o ao confronto entre o computador Deep Blue e o enxadrista Garry Kasparov. "A comunidade precisa ter uma discussão séria e sem pressa sobre para onde ir a partir daqui", disse em nota. O que fica claro é que a questão não é apenas se a IA resolveu um problema matemático antigo — é como a comunidade científica vai lidar com a velocidade, o poder e as implicações éticas das ferramentas de inteligência artificial na pesquisa.