A OpenAI afirma que um sistema de IA resolveu o problema de Navier-Stokes. É um dos sete Problemas do Prêmio Millennium, as perguntas abertas mais difíceis da matemática.
A empresa disse que 10.000 agentes de IA trabalharam juntos por 88 horas para alcançar a prova. O professor da NYU Tristan Buckmaster contesta o crédito.
O que a OpenAI afirma
As equações de Navier-Stokes descrevem como os fluidos se movem, como ar ou água.
A prova da OpenAI sugere que as equações podem atingir uma explosão em tempo finito, quando as velocidades do fluido se tornam infinitas em vez de permanecerem suaves.
A prova veio de um modelo não lançado que, segundo a OpenAI, supera seu sistema GPT-6 Astra lançado.
GPT-6 Astra então passou 17 horas verificando a lógica da prova.
O Clay Mathematics Institute oferece US$ 1 milhão pela resolução de qualquer um dos sete problemas. A OpenAI disse que não reivindicará o prêmio.
A Disputa de Crédito
O professor da NYU Tristan Buckmaster diz que ele e o matemático da Anthropic Levent Alpöge estavam próximos de um resultado relacionado.
Seu trabalho estava dentro do Codex da OpenAI, um modelo de IA focado em programação. Buckmaster disse que isso pode ter exposto o projeto à equipe da OpenAI.
Buckmaster abordou a preocupação diretamente em uma declaração pública:
“Eu não sei o que o modelo deles fez, nem como. Eu não sei se nossos dados foram utilizados. Não estou acusando ninguém de nada.”
— Tristan Buckmaster, matemático da NYU
O pesquisador da OpenAI Sebastien Bubeck respondeu em uma coletiva de imprensa. Ele negou que a empresa tenha acessado ou utilizado seu trabalho não publicado.
A OpenAI também reconheceu algo mais. Não pode descartar que o uso do produto pelos pesquisadores tenha moldado o treinamento do seu modelo.
A disputa ocorre enquanto a OpenAI se prepara para uma cotização pública reportada de US$ 1 trilhão. A Anthropic está buscando uma avaliação ainda maior por meio de sua própria busca de IPO.