A OpenAI anunciou que agentes de IA da empresa encontraram uma solução para o problema de existência e suavidade de Navier-Stokes — um dos sete Problemas do Milênio listados pelo Clay Mathematics Institute, com prêmio de US$ 1 milhão para quem resolvê-lo. O anúncio veio acompanhado de um blog post, um artigo e uma prova formal escrita em Lean, linguagem usada para verificação matemática assistida por computador.

O problema pede para provar (ou refutar) que as equações de Navier-Stokes, que descrevem o comportamento de fluidos, sempre têm soluções suaves e bem-comportadas em três dimensões, sem "explosões" matemáticas. É um dos problemas abertos mais duros da física matemática, parado desde que o Clay Institute formulou a lista em 2000 — até hoje, só o problema de Poincaré foi resolvido.

Antes que a OpenAI publicasse o anúncio completo, NYT, Wired e outros veículos já noticiavam a controvérsia: matemáticos, incluindo um pesquisador da NYU, acusaram a empresa de má conduta acadêmica, alegando que a solução se apoia em trabalho prévio de pesquisadores humanos sem crédito adequado. A acusação não é sobre a matemática em si ser falsa, mas sobre apropriação — usar avanços de terceiros e apresentá-los como conquista própria (ou da IA) sem a atribuição que a comunidade acadêmica considera padrão.

É a segunda vez em pouco tempo que um lab de IA anuncia progresso em um problema de matemática de altíssimo perfil antes da revisão por pares terminar. O padrão se repete: anúncio via blog post, cobertura de imprensa generalista, e só depois a comunidade acadêmica especializada consegue examinar o material com calma — quando muitas vezes a narrativa pública já se formou. Diferente de um paper submetido a journal, um blog post não passa por revisão cega nem por checagem de originalidade antes de circular.

A prova em Lean ajuda a mitigar dúvidas sobre correção lógica — código formal pode ser verificado mecanicamente, o que é uma vantagem real sobre alegações puramente textuais. Mas Lean verifica consistência interna de uma prova, não se as ideias centrais nela foram originadas por quem a formalizou. As duas questões — a solução está correta? e quem deve ser creditado por ela? — são independentes, e só a segunda está sendo contestada com mais força até agora.

Nem o Clay Institute nem a comunidade de matemáticos especializados em EDPs (equações diferenciais parciais) se pronunciaram com uma avaliação definitiva. Não há, portanto, confirmação independente de que a solução resolve de fato o problema, nem uma resposta pública da OpenAI às acusações específicas de apropriação.

O que fica em aberto é justamente o precedente: se labs de IA vão continuar anunciando resultados científicos via blog post e imprensa antes da validação acadêmica, e se a comunidade científica vai aceitar esse ritmo ou vai passar a exigir, como pré-condição para levar o anúncio a sério, que o crédito e a origem do trabalho sejam auditados publicamente antes da manchete.