OpenAI diz que IA resolveu problema matemático de quase 90 anos com 10 mil agentes; prova entra em escrutínio
OpenAI afirma ter resolvido o problema de Navier-Stokes com 10 mil agentes de IA; prova em Lean agora passa por revisão independente.
A OpenAI afirma ter encontrado uma solução para o problema de existência e suavidade das equações de Navier-Stokes, uma das sete questões do Prêmio do Milênio.
Um sistema interno de inteligência artificial com cerca de 10 mil agentes atuando em paralelo teria produzido o trabalho.
Contudo, a demonstração ainda precisa passar pelo escrutínio independente da comunidade matemática.
Segundo a empresa, o sistema concluiu a parte principal do trabalho em aproximadamente 88 horas.
Depois, o GPT-6 Astra participou da formalização e da verificação da prova em Lean, processo que levou mais 17 horas.
A IA afirma ter encontrado uma singularidade nas equações
As equações de Navier-Stokes descrevem o movimento de fluidos e aparecem em áreas como aerodinâmica, previsão do tempo e estudo do fluxo sanguíneo.
A dúvida central, aberta há décadas, é se uma solução inicialmente suave pode desenvolver uma singularidade em tempo finito.
A prova divulgada pela OpenAI sustenta justamente essa possibilidade.
Em termos simples, o sistema construiu um cenário matemático no qual a velocidade do fluido cresce sem limite, mesmo com energia total finita e força externa suave.
A empresa diz que o resultado resolve as formulações “C” e “D” do problema oficial.
Para chegar ao resultado, os agentes trocaram milhões de mensagens e exploraram diferentes abordagens antes de consolidar as ideias mais promissoras.
Formalização em Lean ajuda, mas não encerra a discussão
Um ponto importante é que a OpenAI publicou não apenas um texto matemático, mas também uma formalização em Lean.
Esse tipo de sistema permite verificar se uma sequência de argumentos segue regras lógicas definidas e reduz a chance de erros mecânicos na demonstração.
Mesmo assim, isso não transforma automaticamente o anúncio em consenso científico. Especialistas ainda precisam analisar hipóteses, definições, dependências e o significado matemático de cada etapa.
A validação de um resultado desse porte costuma exigir leitura detalhada e reprodução independente.
Além disso, o Clay Mathematics Institute mantém critérios próprios para reconhecer oficialmente uma solução de um Problema do Milênio.
A OpenAI afirmou que não pretende reivindicar o prêmio de US$ 1 milhão associado ao desafio.
Imagem: Reprodução
O caso também abriu debate sobre dados e autoria
O anúncio ganhou outra camada de escrutínio depois de questionamentos sobre trabalhos paralelos de pesquisadores ligados à Anthropic e à Universidade de Nova York.
A OpenAI atualizou sua publicação em 10 de setembro e disse ter investigado se prompts enviados anteriormente ao Codex poderiam ter influenciado o resultado.
De acordo com a empresa, esses dados não afetaram o treinamento nem a solução que o sistema produziu. A OpenAI também afirmou que sua equipe não acessou o trabalho concorrente antes da divulgação pública.
Por enquanto, o ponto mais importante é separar duas coisas:
- a OpenAI apresentou uma prova formal e um resultado extraordinário;
- a comunidade matemática ainda precisa decidir se ele se sustenta.
Se a demonstração resistir à revisão, o episódio pode se tornar um marco tanto para a matemática quanto para o uso de sistemas multiagentes em pesquisa científica.
O que você achou? Siga @bitmagazineoficial no Instagram para ver mais e deixar seu comentário clicando aqui
