OpenAI anuncia solução para Navier‑Stokes e gera controvérsia entre matemáticos

OpenAI revelou que encontrou uma solução para o problema Navier‑Stokes, um dos sete Prêmios Milênio, após mobilizar cerca de 10 000 agentes, dezenas de milhões de dólares em poder de computação e apenas 88 horas de processamento.

A conquista provocou forte desconforto entre matemáticos, que veem a empresa como um concorrente excessivamente bem‑financiado, capaz de invadir áreas de pesquisa tradicionalmente reservadas a acadêmicos. O professor Tristan Buckmaster, da NYU, acusou a OpenAI de não esclarecer se os prompts que enviou ao Codex, ferramenta da empresa, contribuíram para o resultado.

O que aconteceu

Buckmaster afirmou que, ao saber que a OpenAI estava correndo contra seu próprio trabalho e o de Levent Alpöge, da Anthropic, entrou em contato com a empresa. Segundo ele, o pesquisador da OpenAI Sébastien Bubeck ofereceu recursos praticamente ilimitados e a autoria exclusiva de um artigo que anunciaria a descoberta, mas condicionou a oferta à exclusão de Alpöge. Buckmaster rejeitou o acordo, descrevendo‑o como um "suborno" e citando: "All I had to do was throw Levent under the bus".

A OpenAI negou que os prompts de Buckmaster tenham influenciado o modelo, afirmando categoricamente que "é impossível" que eles tenham sido usados no treinamento nos últimos dois meses. A empresa também declarou que, após a solução de Navier‑Stokes, avançou substancialmente em outro problema Milênio, embora não tenha revelado qual.

“Segundo ele, o pesquisador da OpenAI Sébastien Bubeck ofereceu recursos praticamente ilimitados e a autoria exclusiva de um artigo que anunciaria a descoberta, mas condicionou a oferta à exclusão de Alpöge.”

Matemáticos como Andreas Thom relataram que a OpenAI alterou discretamente um anúncio anterior para reconhecer a contribuição de seus colegas, sem divulgar a mudança publicamente. A comunidade científica respondeu com a Declaração de Leiden, assinada por quase 4 000 pesquisadores, pedindo uso responsável de IA na matemática e alertando contra exageros de capacidade.

Por que importa

A disputa evidencia um choque cultural entre a pesquisa matemática, que valoriza a linhagem intelectual e a colaboração cuidadosa, e as grandes empresas de IA, que priorizam velocidade, prestígio e competição por prêmios milionários. O medo de que recursos massivos possam “scooping” descobertas antes de sua publicação está levando pesquisadores a esconder trabalhos em andamento e a questionar a confiança nas ferramentas que utilizam.

Se a solução for reconhecida, a OpenAI poderia reivindicar o prêmio de US$ 1 milhão, mas a falta de aceitação geral pela comunidade pode limitar o valor simbólico da conquista. O caso também levanta dúvidas sobre a transparência no uso de dados de usuários e sobre possíveis conflitos de interesse quando a mesma empresa fornece ferramentas de pesquisa e, simultaneamente, compete por resultados.

O que observar

• OpenAI utilizou cerca de 10 000 agentes, dezenas de milhões de dólares em computação e 88 horas para gerar a solução.
• Buckmaster recebeu oferta de recursos ilimitados e autoria exclusiva, mas a recusou por considerá‑la um "suborno".
• A Declaração de Leiden, assinada por quase 4 000 matemáticos, pede responsabilidade no uso de IA para pesquisas.
• A OpenAI afirmou estar avançando em outro problema Milênio, possivelmente a conjectura de Hodge.