A OpenAI afirma que um sistema de IA não lançado e experimental resolveu um dos problemas não resolvidos mais famosos da matemática após cerca de 10.000 agentes trabalharem juntos por apenas 88 horas.
A empresa publicou uma solução proposta para o problema da existência e suavidade de Navier-Stokes, um dos sete Problemas do Prêmio Millennium com um prêmio de US$ 1 milhão. As equações descrevem como fluidos, como água e ar, se movem, enquanto a questão não resolvida pergunta se um fluxo perfeitamente suave pode, eventualmente, se romper e produzir velocidades que crescem sem limite.
O sistema da OpenAI diz que pode. Sua prova descreveu um vórtice fluído que se torna cada vez mais esticado e concentrado até que sua velocidade se torna infinita em tempo finito, mesmo enquanto a energia total do sistema permanece finita.
Fluidos reais não podem se mover infinitamente rápido, conforme o entendimento atual da física. Em escalas suficientemente extremas, a suposição por trás de Navier-Stokes de que um fluido pode ser tratado como uma substância contínua deixaria de corresponder à realidade física.
O resultado veio de um modelo interno que a OpenAI afirma ser significativamente mais capaz que o GPT-6 Astra (seu modelo publicamente disponível mais avançado). Cerca de 10.000 agentes trocaram 2,7 milhões de mensagens e geraram aproximadamente 130 bilhões de tokens enquanto trabalhavam no Navier-Stokes, antes que Astra gastasse mais 17 horas formalizando e verificando a prova.
O impacto prático da prova em si levará tempo, no entanto. As equações de Navier-Stokes são utilizadas em áreas como o design de aeronaves, previsão do tempo e pesquisa de fluxo sanguíneo, então uma compreensão mais aprofundada dos pontos em que as equações podem falhar pode, eventualmente, melhorar a forma como os cientistas modelam fluxos extremos e turbulentos.
A implicação maior pode ser o sistema que o encontrou. Se milhares de agentes de IA puderem atacar um problema matemático de 90 anos em poucos dias, a mesma abordagem poderia eventualmente ser aplicada a problemas difíceis em ciência dos materiais, energia, aeroespacial, medicina e outras áreas.
Já existe controvérsia sobre o grau de independência com que o resultado foi alcançado.
O matemático da NYU Tristan Buckmaster e o pesquisador da Anthropic Levent Alpöge estavam trabalhando separadamente em um problema de dinâmica de fluidos intimamente relacionado e utilizaram ferramentas de IA durante sua pesquisa. Buckmaster questionou se trabalhos não publicados inseridos nos produtos da OpenAI poderiam ter influenciado o modelo da empresa, em uma série de posts na rede social Mastodon.
Buckmaster disse que ele e Alpöge passaram aproximadamente um ano buscando uma rota incomum para o problema envolvendo uma força externa suave, com o Codex entre as ferramentas de IA amplamente utilizadas durante seu trabalho.
Ele adicionou quase ninguém mais que soubesse estar perseguindo a mesma abordagem e questionou como a OpenAI chegou a isso dentro de dias de saber que o par havia feito progressos.
Buckmaster disse que, durante as discussões com a OpenAI, ele foi inicialmente apresentado a um prompt e informado que o esforço de pesquisa interno da empresa havia começado sem entrada humana além da declaração do problema.
Essa conta mudou ao longo da conversa, segundo Buckmaster, com a OpenAI acabando por reconhecer que o primeiro prompt havia sido enviado apenas nos dias anteriores, após informações sobre o trabalho de Buckmaster e Alpöge terem chegado à empresa.
A OpenAI respondeu dizendo que nem seus pesquisadores nem seus agentes viram seu trabalho antes da publicação e que nenhum dado de usuário específico foi acessado. A empresa acrescentou que não pode descartar que dados desidentificados derivados do uso de seus produtos tenham ajudado a aprimorar seus modelos, enquanto afirmou que as provas em si diferem significativamente.
Assim, a prova ainda não é uma solução oficialmente reconhecida. O Instituto Clay de Matemática exige que as soluções propostas sobrevivam a um exame prolongado e ganhem ampla aceitação entre matemáticos antes de considerar a concessão do prêmio de US$ 1 milhão.
Enquanto isso, a OpenAI afirma que não pretende reivindicar o prêmio, descrevendo o resultado como evidência de quão rapidamente seus sistemas de pesquisa estão melhorando.