OpenAI afirma que IA resolveu o problema de explosão de Navier-Stokes, matemático da NYU contesta cronologia

A OpenAI afirmou que seu modelo interno de IA provou que as equações de Navier-Stokes podem sofrer blow-up. As equações descrevem como os fluidos se movem. Um blow-up é um ponto em que a matemática prevê velocidade infinita. O problema é um dos sete Millennium Prize Problems, cada um com prêmio de US$ 1 milhão do Clay Mathematics Institute. A OpenAI disse que o resultado levou 88 horas. A OpenAI afirmou que aproximadamente 10.000 agentes de IA coordenados trabalharam no resultado. Os agentes eram cópias de seus modelos operando em paralelo. O Lean verificou a prova passo a passo. O matemático da NYU Tristan Buckmaster disse que ele e Levent Alpöge passaram quase um ano usando modelos de IA para buscar provas de blow-up de fluidos. Buckmaster disse que tinham uma solução até 22 de agosto. Buckmaster disse que informou um matemático da OpenAI sobre o projeto em 3 de setembro. Ele disse que descreveu o projeto como pessoal e não vinculado a nenhuma empresa. Três dias depois, Sébastien Bubeck informou Buckmaster que um modelo interno havia produzido uma prova de 100 páginas para Navier-Stokes forçado. Buckmaster disse que a abordagem era a mesma abordagem restrita que quase ninguém mais estava perseguindo. Buckmaster disse que Bubeck ofereceu deixar a OpenAI publicar um dia após a equipe dele. Buckmaster disse que Bubeck também ofereceu permitir que ele escrevesse o artigo sozinho, sem Alpöge, porque Alpöge trabalhava em um laboratório concorrente. Buckmaster disse que Bubeck perguntou: “Por que você arruinaria sua carreira?”. Buckmaster posteriormente publicou artigos de pesquisa com suas descobertas. Os artigos creditaram Alpöge. A OpenAI não creditou nenhum dos pesquisadores em seu anúncio. Um tweet de cotação reconheceu que a OpenAI não pode descartar que dados desidentificados do uso do produto tenham ajudado a melhorar seus modelos. Bubeck, a OpenAI e Altman negaram a caracterização de Buckmaster. Bubeck compartilhou mensagens propondo uma liberação coordenada com Alpöge. Bubeck também ofereceu os prompts da OpenAI. Bubeck disse que agiu de boa-fé. Sam Altman disse que Bubeck agiu com integridade e generosidade ao longo do processo. Altman disse que a OpenAI ofereceu à equipe de Buckmaster a opção de publicar primeiro após perceber que a equipe havia resolvido apenas Euler, e não Navier-Stokes completo. A OpenAI disse que nunca viu o trabalho do par antes da publicação. A OpenAI disse que não acessou dados específicos de usuários. A OpenAI não excluiu explicitamente que dados desidentificados do uso do produto tenham ajudado a melhorar seus modelos. O matemático Fields Terence Tao chamou a matemática subjacente de Buckmaster e Alpöge de uma conquista notável. Seu resultado mais avançado permanece não publicado, aguardando verificação final pelo Lean. Ninguém fora da OpenAI revisou independentemente a prova de 100 páginas.