OpenAI acaba de reivindicar uma enorme descoberta matemática. Alguns acadêmicos estão chorando muito

OpenAI disse hoje que encontrou uma solução gerada por IA para um dos maiores problemas da matemática – uma equação com 200 anos que descreve o comportamento natural de fluidos como a água e o ar.

O anúncio parece demonstrar o poder impressionante da IA ​​para o avanço da matemática. Mas foi prejudicado por afirmações de outro matemático, Tristan Buckmaster, que diz que a OpenAI se apressou para resolver o problema depois de saber do progresso dele e de outro matemático no problema, e também tentou influenciar quem recebeu o crédito pelo trabalho.

A prova diz respeito à equação de Navier-Stokes, um dos problemas não resolvidos nos prémios Clay Millennium, que valem cada um um milhão de dólares.

Sebastien Bubeck, matemático e pesquisador de IA da OpenAI, disse em coletiva de imprensa que a empresa começou a treinar um novo modelo de IA com capacidades matemáticas avançadas em 28 de agosto.

Depois de ler rumores de que a Anthropic estava progredindo na solução do Navier-Stokes, Bubeck disse que a empresa decidiu dedicar mais recursos para resolver o problema. A empresa contou com mais de mil agentes para resolver o problema durante mais de 50 horas, antes de descobrir que havia encontrado uma solução.

“Achei que devia haver um erro em algum lugar”, disse Bubeck. “E no domingo de manhã tivemos a solução final, formalizada pelo Lean e tudo mais.” (Lean é uma linguagem de programação que pode ser usada para formalizar provas matemáticas.)

A OpenAI observou que a resolução deste problema exigia o uso de consideravelmente mais computação do que o gasto anteriormente na resolução de problemas matemáticos. A quantidade de computação necessária custou “na casa dos milhões de dólares”, disse Mark Chen, chefe de pesquisa da OpenAI.

Na segunda-feira, Buckmaster, matemático da NYU, e Levent Alpöge, pesquisador da Anthropic, publicaram documentos reivindicando avanços importantes em uma área relevante para o problema de Navier-Stokes. A dupla diz que usou vários modelos de IA, incluindo Claude e Codex, para completar seu trabalho.

Buckmaster também postou uma declaração afirmando que, na semana passada, ele soube que a OpenAI tomou conhecimento do seu trabalho e do Alpöge e começou a investir recursos significativos para resolver o problema. Buckmaster afirma que perguntou aos líderes da OpenAI se a empresa havia acessado os logs do Codex da dupla. Ele diz que foi informado de que o modelo “não pesquisou os dados do usuário”, mas afirma que a empresa não respondeu às perguntas sobre treinamento. Ele então diz que a OpenAI ofereceu várias “propostas”, incluindo uma em que Buckmaster poderia publicar um artigo anunciando que o problema de Navier-Stokes havia sido resolvido por um modelo interno da OpenAI, mas sem o nome de Alpöge incluído.

Buckmaster, Alpöge e Anthropic não responderam imediatamente ao pedido de comentários da WIRED.

No briefing, Bubeck e outros executivos da OpenAI negaram que a empresa alguma vez tivesse inspecionado os prompts do Codex da dupla para informar seu trabalho. “Nós, sejam os pesquisadores ou os agentes, não vimos nenhum de seus trabalhos até que foi divulgado publicamente na noite passada”, disse ele.

“Quero deixar extremamente claro que reconhecemos a prioridade do trabalho de Levent Alpöge e Tristan Buckmaster em Euler não forçado, e não temos nada além de parabéns a eles por esta conquista monumental que alcançaram. Para ser claro, não usamos seu alerta ou prova para estimular nossos modelos ou direcionar nossos agentes”, disse Bubeck.

A OpenAI disse hoje que deseja reconhecer o trabalho anterior de Alpöge e Buckmaster. No entanto, Ven Chandrasekaran, matemático da empresa, também enfatizou que a solução deles era de natureza significativamente diferente daquela produzida pelo modelo da OpenAI.

A disputa sobre quem recebe o crédito por resolver um dos maiores problemas da matemática pode durar algum tempo. À medida que a IA assume mais trabalho envolvido na busca de provas, essas brigas talvez possam se tornar mais comuns.

Esta é uma história em desenvolvimento. Por favor, volte para atualizações.