A OpenAI escreveu que seu modelo interno resolveu o problema de Navier–Stokes — só para constar, esse é um dos sete Problemas do Milênio.
E agora está se formando uma polêmica enorme em torno disso. Resumindo, a história é a seguinte:
-
A OpenAI afirma que sua IA interna construiu uma prova da formação de uma singularidade em tempo finito para as equações de Navier–Stokes com força externa suave. A empresa publicou um preprint de 166 páginas e uma formalização em Lean.
-
Paralelamente, os matemáticos Tristan Buckmaster e Levent Alpöge (que trabalha na Anthropic 🙂) vinham desenvolvendo uma abordagem semelhante havia cerca de um ano, com a ajuda de Claude e Codex. Importante: eles não publicaram uma solução para o problema de Navier–Stokes, mas três resultados relacionados — entre eles uma prova para as equações tridimensionais de Euler com força externa suave e sua formalização em Lean.
-
Segundo a declaração detalhada de Buckmaster, a OpenAI começou sua própria investida depois de ouvir rumores sobre o trabalho deles. Buckmaster perguntou se o modelo poderia ter sido treinado com as sessões deles no Codex, para as quais haviam enviado rascunhos. Segundo ele, não houve uma resposta direta à pergunta sobre o treinamento.
-
Na mesma declaração, Buckmaster escreve que Sébastien Bubeck sugeriu duas vezes retirar Alpöge da lista de autores por ele trabalhar na Anthropic. Quando Buckmaster se recusou e disse que tornaria o caso público, afirma ter ouvido: “Por que você quer destruir sua carreira?”
-
A OpenAI, por sua vez, afirma que não teve acesso ao trabalho dos matemáticos antes da publicação e que não consultou dados específicos de usuários. Ao mesmo tempo, a empresa não descarta que dados anonimizados gerados pelo uso de seus produtos possam ter influenciado o treinamento dos modelos.
Se por acaso você estiver, neste exato momento, perto de resolver outro Problema do Milênio, é melhor não enviar a solução para a OpenAI — senão amanhã Sam Altman vai anunciar que o GPT conseguiu mais um avanço histórico na matemática.
Fontes primárias
- Anúncio da OpenAI, preprint da prova e repositório Lean
- Enunciado oficial do problema de Navier–Stokes, do Clay Mathematics Institute
- Declaração de Tristan Buckmaster e post original do anúncio
- Preprint de Buckmaster e Alpöge sobre as equações de Euler e formalização dos resultados deles em Lean
- Imagem do cabeçalho: esteira de vórtices de von Kármán na ilha Alejandro Selkirk, NASA / Wikimedia Commons, domínio público
