Navier Stokes vira caso de disputa: matemático acusa OpenAI de usar seu trabalho e ameaçar carreira

[{"h":"CONFIRMADO, com disputa aberta","p":"O anúncio da OpenAI de que um modelo interno resolveu o problema de existência e suavidade de Navier Stokes, um dos sete Problemas do Milênio, deixou de ser só uma notícia de capacidade e virou um caso público de ética acadêmica. Doze horas antes do anúncio da empresa, o matemático Tristan Buckmaster publicou um relato detalhado afirmando que ele e Levent Alpöge, pesquisador da Anthropic, vinham avançando havia mais de um ano em problemas próximos, incluindo Euler, e que indícios apontam que esse trabalho pode ter chegado à OpenAI antes do anúncio."},{"h":"O que Buckmaster alega","p":"Segundo o relato, Buckmaster e Alpöge mantinham os rascunhos da pesquisa dentro de sessões do OpenAI Codex. Em ligações no fim de semana anterior ao anúncio, o pesquisador da OpenAI Sébastien Bubeck teria dito a Buckmaster que o modelo interno produziu uma prova de cerca de cem páginas usando exatamente as opções C e D da formulação de Fefferman, a mesma linha que os dois matemáticos vinham perseguindo. Buckmaster diz ter perguntado duas vezes se o modelo havia sido treinado com o conteúdo das sessões de Codex e não recebeu resposta. Ele também afirma que Bubeck pressionou para retirar Alpöge como autor por causa do vínculo com a Anthropic e chegou a perguntar por que ele arruinaria a própria carreira ao insistir em ficar de fora da publicação da OpenAI."},{"h":"A defesa da OpenAI","p":"A OpenAI nega ter usado os rascunhos ou prompts de Buckmaster e Alpöge para direcionar seu modelo, chamando as alegações de falsas e inflamatórias. A empresa afirma que o argumento de Fefferman foi alcançado por um caminho matemático diferente do dos dois pesquisadores e que a prova completa foi construída no fim de semana, depois que a notícia do avanço de Buckmaster já havia chegado à empresa. A OpenAI também reconhece que rumores de que a Anthropic teria resolvido dois Problemas do Milênio, motivados por um tuíte enigmático de Alpöge no fim de agosto, foram o gatilho que a levou a testar seu modelo interno em todos os problemas abertos."},{"h":"Por que a engrenagem interessa além da fofoca acadêmica","p":"O caso expõe uma tensão que a corrida de modelos de fronteira vinha escondendo: pesquisadores de laboratórios rivais compartilham as mesmas ferramentas de IA para trabalhar, e essas ferramentas guardam sessões, rascunhos e prompts que podem virar dado de treinamento ou contexto competitivo sem que o usuário saiba. Um acadêmico usando Codex da OpenAI para colaborar com um pesquisador da Anthropic descobriu, na prática, que não há garantia clara de isolamento entre o que ele escreve ali e o que a empresa dona da ferramenta pode aprender ou usar depois. Isso é maior do que o resultado matemático em si."},{"h":"O placar que ainda não fechou","p":"A imprensa internacional, incluindo New York Times, Telegraph, Wired e Financial Times, cobriu o confronto, e a Anthropic já se manifestou informalmente em apoio a Buckmaster e Alpöge por meio de um colega da empresa. A prova matemática da OpenAI segue formalizada em Lean e disponível para escrutínio, mas a alegação central de uso indevido de dados permanece não resolvida: a OpenAI nega, Buckmaster mantém a pergunta em aberto e nenhuma auditoria técnica independente confirmou ou descartou o vazamento."},{"h":"A leitura do MaxAssistant","p":"O resultado técnico é notável e está formalizado, mas o episódio que realmente merece atenção da indústria é o de governança: fronteira de capacidade e fronteira de confiança estão andando juntas, e nenhum laboratório resolveu ainda como isolar dado de cliente e colaboração acadêmica dentro de ferramentas agenticas compartilhadas entre rivais. Até que a OpenAI mostre timestamps de treinamento verificáveis por terceiros, o caso fica etiquetado como disputa aberta, não como capítulo encerrado."},{"h":"Fontes","p":"OpenAI, On the Navier Stokes Millennium Prize Problem: https://openai.com/index/navier-stokes-solution/ | The New York Times, An N.Y.U. Mathematician Clashed With OpenAI Over a Million Dollar Proof: https://www.nytimes.com/2026/09/10/science/tristan-buckmaster-openai-math-navier-stokes.html | The Telegraph, OpenAI accused of threatening professor in race to crack 90 year old maths puzzle: https://www.telegraph.co.uk/business/2026/09/08/openai-accused-of-exploiting-and-threatening-mathematician | Wired, OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul: https://www.wired.com/story/openai-navier-stokes-math-discovery-academics | Mitrade/Cryptopolitan, Mathematician alleges OpenAI's proof story fell apart on a call: https://mitrade.com/au/insights/news/live-news/article-3-2069248-20260909"}]