Daily Journal

Home / Tecnologia

Daily Journal

Matemático da NYU acusa OpenAI de tomar crédito em provas de fluidos

Buckmaster diz que a OpenAI só atacou Navier-Stokes após saber de seu trabalho; a empresa afirma tê-lo resolvido com 10 mil agentes em 88 horas.

Daily Journal
||
08/09 às 09:00

Pontos principais

  • Buckmaster (NYU Courant) e Levent Alpoge (Anthropic) publicaram em 8 de setembro de 2026 três resultados verificados em Lean
  • As provas mostram blow-up em tempo finito com forçamento suave para meios porosos incompressíveis, Boussinesq e Euler incompressível em 3D
  • A dupla usou o Claude, da Anthropic, e o Codex, da OpenAI, com o GPT-5.6 Sol e depois o Astra
  • Buckmaster diz ter sido informado em 6 de setembro por Sebastien Bubeck de uma prova interna da OpenAI de cerca de 100 páginas para Navier-Stokes forçada
  • A OpenAI afirma que um modelo interno mais capaz que o GPT-6 Astra resolveu o problema com 10 mil agentes simultâneos em 88 horas e nega ter visto os prompts da dupla
  • Bubeck chamou as alegações de falsas e inflamatórias no X e prometeu resposta mais completa
  • Os resultados ficam aquém do problema de Navier-Stokes sem forçamento, um dos Problemas do Milênio com prêmio de US$1 milhão

A disputa mistura dois debates que a matemática assistida por IA vinha adiando: quem assina uma prova produzida em colaboração com modelos e o que acontece com os rascunhos deixados dentro das ferramentas. Buckmaster diz ter perguntado se o modelo da OpenAI havia sido treinado com suas sessões do Codex, onde guardava todo o material do projeto, e afirma ter ouvido que o modelo não consultou dados de usuário — mas nunca recebeu resposta sobre treinamento. Ele também alega que Bubeck insistiu duas vezes para que Alpoge fosse retirado da autoria por trabalhar na Anthropic, e que ouviu "Por que você arruinaria sua carreira?" ao dizer que tornaria o caso público.

O programa de pesquisa foi originado por Diego Cordoba e Luis Martinez-Zoroa, e a dupla o levou de forçamento rugoso para forçamento suave. O medalhista Fields Terence Tao chamou o trabalho de conquista notável. Do lado da OpenAI, Bubeck diz ter entrado na discussão seguindo normas acadêmicas e a empresa nega qualquer acesso aos prompts de Buckmaster ou Alpoge.

Fonte primária

Tristan Buckmaster (NYU Courant Institute)

Declaração pública de Tristan Buckmaster (NYU)

Buckmaster e Levent Alpöge (Anthropic) anunciam três resultados de blow-up em tempo finito com forçamento suave — para meios porosos incompressíveis, Boussinesq e Euler 3D incompressível —, construídos sobre o programa de Diego Córdoba e Luis Martínez-Zoroa, a quem credita a ideia original (dizendo que Martínez-Zoroa merece um Fields Medal), usando LLMs (Claude, Codex/GPT-5.6 Sol e Astra) para completar as provas. Relata que, após soubessem de rumores de que a Anthropic teria resolvido um problema aberto e de que informações sobre o trabalho dele haviam chegado à OpenAI, escreveu a um matemático da OpenAI em 3/set; em ligações com Sebastien Bubeck em 6/set foi informado que um modelo interno da OpenAI havia produzido uma prova (~100 páginas, não vista por ele) de blow-up forçado para Navier-Stokes usando 'muito pouco input humano' — afirmação que, segundo ele, se mostrou falsa ao longo da conversa, pois uma equipe inteira já trabalhava no problema havia dias, inclusive testando o caso não-forçado, com grande volume de computação. Diz que a OpenAI propôs publicar seu resultado no dia seguinte ao dele, ou que ele escrevesse sozinho um paper creditando o modelo da OpenAI pelo Navier-Stokes e removendo Alpöge (por trabalhar na Anthropic) — propostas que recusou. Afirma não ter visto a prova da OpenAI nem saber se dados de suas sessões no Codex foram usados, e que não está acusando ninguém de nada, apenas relatando o que lhe foi dito.

Comentários

Carregando comentários...