A polêmica por trás da prova matemática milionária da OpenAI

A sala 109 do Warren Weaver Hall, na Universidade de Nova York, estava lotada muito antes de um seminário especial marcado para as 15h30. Com pessoas sentadas no chão e aglomeradas nos corredores, o evento marcou a primeira palestra pública do matemático Tristan Buckmaster desde que a OpenAI afirmou ter resolvido um dos problemas de um milhão de dólares da matemática, após ele acusar publicamente a empresa de roubar seu trabalho. O episódio coroou um verão de profundas transformações na disciplina acadêmica mais antiga da humanidade, enquanto a comunidade científica tenta decifrar a lógica opaca dos grandes modelos de linguagem (LLMs).

A jornada que culminou nessa revolução começou um ano antes, quando o matemático Levent Alpöge enviou uma mensagem a Buckmaster propondo uma parceria para solucionar o problema de Navier-Stokes, um dos sete “Problemas do Prêmio Millennium” definidos pelo Instituto de Matemática Clay. O desafio consiste em provar matematicamente o comportamento de fluidos descritos pelas equações de Navier-Stokes, cuja premiação chega a US$ 1 milhão. Em parceria com IA, os pesquisadores buscaram explorar uma brecha teórica proposta por matemáticos espanhóis, conseguindo avanços significativos com equações simplificadas.

Conflitos e acusações de roubo intelectual Enquanto a colaboração de Buckmaster e Alpöge avançava no meio acadêmico, a estratégia da OpenAI seguiu um caminho corporativo agressivo, culminando no anúncio de 8 de setembro. Após um erro de cálculo que levou a empresa a acreditar que a rival Anthropic havia resolvido o problema, equipes de engenheiros da OpenAI lançaram milhares de agentes de IA para testar hipóteses, culminando no gasto de US$ 15 milhões em recursos computacionais para solucionar o enigma de Navier-Stokes.

As tensões explodiram em uma ligação telefônica entre Buckmaster e o cientista da OpenAI, Sébastien Bubeck. “You are not going to be able to convince me that you did not get the key ideas from a leak,” Buckmaster disse a Bubeck. Embora a empresa tenha oferecido a Buckmaster a coautoria principal no artigo, a exigência de remover o nome de Alpöge por causa de sua afiliação com a concorrente implodiu as negociações.

O futuro incerto da matemática Embora a OpenAI negue veementemente qualquer uso de dados protegidos ou informações geradas por Buckmaster após 3 de julho de 2026, a comunidade matemática permanece dividida sobre a originalidade do caminho percorrido pela inteligência artificial. Especialistas apontam semelhanças e divergências nos métodos computacionais utilizados para atingir o resultado histórico.

Para Buckmaster, o episódio serve como um alerta urgente sobre os rumos da ciência diante de ferramentas automatizadas velozes e opacas. Questionado sobre os próximos passos da área durante sua palestra, o pesquisador sintetizou o sentimento geral da plateia em uma frase aplaudida efusivamente: “What we should do right now, is get the AI companies to stop acting like children.”