OpenAI é acusada de se aproveitar de avanço de matemático em problema de US$ 1 milhão

O que aconteceu

Na terça-feira, 8 de setembro de 2026, o professor Tristan Buckmaster, da Universidade de Nova York (NYU), anunciou três provas matemáticas realizadas em colaboração com o matemático Levent Alpöge, da Anthropic, usando os modelos de IA Codex (da OpenAI) e Claude (da Anthropic). As provas incluem um resultado preliminar sobre o problema da existência e suavidade das equações de Navier-Stokes, um dos sete Problemas do Milênio listados pelo Clay Mathematics Institute. Cada um desses problemas carrega um prêmio de US$ 1 milhão para a primeira pessoa ou grupo que apresentar uma solução aceita.

No comunicado em que anunciou as provas, Buckmaster escreveu: "Há outra parte desta história, e uma que, sinceramente, eu gostaria muito de não precisar me preocupar." Segundo ele, enquanto finalizavam os resultados, ele e Alpöge descobriram que "informações sobre nosso progresso foram passadas para a OpenAI". Ao contatar a empresa, disseram que a OpenAI já havia obtido uma prova completa do problema central. Mas, quando perguntaram há quanto tempo a empresa investigava o problema e qual era o envolvimento humano, as respostas tornaram-se evasivas.

"Descobriu-se que uma equipe inteira trabalhava no problema", relatou Buckmaster, "e que uma quantidade insana de computação havia sido usada. Eventualmente, foi acordado que [o primeiro prompt] havia sido enviado nos últimos dias, depois que informações sobre nosso trabalho chegaram à OpenAI." Se essa cronologia for verdadeira, ela sugere que a equipe da OpenAI ficou convencida de que a abordagem de Buckmaster e Alpöge era a correta e decidiu usar sua vantagem material em recursos computacionais para chegar a uma prova formal primeiro.

O problema de Navier-Stokes, que envolve as equações usadas na mecânica dos fluidos, é amplamente aplicado em engenharia e física, mas sua base teórica continua mal compreendida. Uma solução representaria um avanço significativo na compreensão coletiva da física matemática.

Contexto

As equações de Navier-Stokes descrevem o movimento de fluidos viscosos, como água e ar, e são fundamentais para prever desde o clima até o fluxo em dutos. Apesar de seu uso cotidiano, ninguém conseguiu provar matematicamente a existência e a suavidade das soluções em três dimensões, uma questão que permanece em aberto desde o século XIX. Em 2000, o Clay Mathematics Institute incluiu o problema entre os sete Problemas do Milênio, cada um com recompensa de US$ 1 milhão.

Buckmaster, que é especialista em equações diferenciais parciais, já havia trabalhado em tópicos relacionados, e sua colaboração com Alpöge, da Anthropic, marca o uso de grandes modelos de linguagem para atacar problemas matemáticos de ponta. A OpenAI também desenvolve ferramentas como o Codex, originalmente voltado a programação, mas que vem sendo aplicado a raciocínio matemático. A disputa, porém, não é apenas técnica: envolve ética acadêmica e prioridade de descoberta.

Por que importa

A acusação levanta questões sobre a conduta de empresas de IA em pesquisas de fronteira. Se confirmada, a OpenAI teria utilizado informações de um pesquisador acadêmico sem autorização, violando normas informais de colaboração científica. Para a comunidade matemática, a credibilidade de um resultado obtido às pressas com computação massiva, sem divulgar os métodos e o histórico de desenvolvimento, pode lançar dúvidas sobre a validade da prova.

Para os pesquisadores independentes, o episódio reforça o temor de que grandes empresas com acesso a infraestrutura computacional ilimitada possam dominar áreas inteiras de pesquisa, não por mérito intelectual, mas por superioridade de recursos. O caso também coloca em xeque os limites do uso de IA em matemática: quando uma solução é gerada com auxílio de modelos, quem é o autor? E quais são as regras de prioridade?

Impacto

A curto prazo, a disputa pode atrasar a validação oficial de qualquer prova. O Clay Mathematics Institute exige que uma solução seja publicada em uma revista reconhecida e aceita pela comunidade antes de pagar o prêmio. Se a OpenAI apresentou uma prova, mas não divulgou detalhes suficientes, o processo de verificação será longo e contencioso.

O professor Sebastian Bubeck, que lidera a pesquisa matemática na OpenAI, chamou as afirmações de Buckmaster de "falsas e inflamatórias" e disse que fará uma declaração mais completa em breve. Em um post, escreveu: "Para esclarecer, entrei na discussão seguindo normas acadêmicas, e estou decepcionado que chegou a isso. Quem me conhece sabe que os padrões acadêmicos são de extrema importância para mim."

O caso também mancha a reputação da OpenAI, que já enfrenta críticas sobre transparência e práticas de pesquisa. Para a Anthropic, que não é acusada diretamente, a colaboração com Buckmaster pode ser vista como um esforço legítimo de pesquisa, mas a empresa ainda não se manifestou publicamente.

O que muda

Se as acusações de Buckmaster forem consideradas procedentes, a OpenAI terá que responder por conduta antiética. Além disso, pode haver um precedente para que problemas do Milênio sejam resolvidos com a ajuda de IA, mas o processo de atribuição de crédito precisará de novas regras. A comunidade matemática, historicamente baseada em revisão por pares e em divulgação aberta de métodos, terá de lidar com a possibilidade de que resultados sejam obtidos em segredo por empresas com enormes recursos computacionais.

Há também a questão do uso do Codex. O modelo foi desenvolvido para gerar código, e seu emprego em problemas matemáticos abstratos é recente. O resultado preliminar de Buckmaster e Alpöge, ainda não revisado, demonstra que IA pode auxiliar na descoberta matemática, mas também que a ferramenta pode ser usada para fins questionáveis, como antecipar o trabalho de outros.

O que vem agora

Buckmaster afirma que publicará os detalhes de suas provas nos próximos dias, e a comunidade matemática aguarda ansiosamente a análise crítica. A OpenAI, por meio de Bubeck, prometeu uma declaração completa, mas não deu prazo. O Clay Mathematics Institute, até o momento, não se pronunciou sobre a disputa. Enquanto isso, o problema de Navier-Stokes permanece em aberto, e o prêmio de US$ 1 milhão segue intocado.

O episódio, independentemente do desfecho, já altera o cenário da pesquisa matemática: a era em que humanos trabalhavam sozinhos ou em pequenos grupos acadêmicos pode estar com os dias contados, dando lugar a uma disputa entre empresas de IA e pesquisadores tradicionais.