A equação mais difícil da física matemática foi derrubada por um exército de agentes de IA. A OpenAI anunciou em 8 de setembro de 2026 que um sistema interno produziu uma prova formal para o problema de existência e suavidade das equações de Navier-Stokes — uma das sete questões do Clay Mathematics Institute, com prêmio de US$ 1 milhão para quem apresentar solução correta.
As equações de Navier-Stokes descrevem o movimento de fluidos e têm aplicações em previsão do tempo, projeto de aeronaves e estudo do fluxo sanguíneo. A questão central — sem resposta por décadas — era se essas equações mantêm solução suave em três dimensões ou se, em certas condições, colapsam.
Como 10 mil agentes resolveram o Navier-Stokes em 88 horas
A OpenAI mobilizou aproximadamente 10 mil agentes de IA trabalhando simultaneamente. Cada agente recebeu uma versão diferente do problema; grupos foram formados para explorar abordagens distintas. O resultado chegou em 88 horas após o início do trabalho, em 5 de setembro de 2026.
A formalização e verificação da prova no sistema Lean — que garante rigor matemático formal — exigiu outras 17 horas. No total, os agentes enviaram 4,9 milhões de mensagens e utilizaram aproximadamente 300 bilhões de tokens. Só para o trabalho específico sobre Navier-Stokes: 2,7 milhões de mensagens e cerca de 130 bilhões de tokens.
O custo computacional foi elevado. A OpenAI declarou que o processo exigiu poder computacional avaliado na casa dos milhões de dólares, sem divulgar o número exato.
O que a prova do Navier-Stokes diz
A solução descreve um vórtice que gira para dentro e se alonga progressivamente. A região central diminui enquanto a velocidade aumenta, mas a energia permanece finita. O desafio estava em fazer essa singularidade surgir do próprio movimento do fluido — sem introduzir força infinita externamente.
A prova formal mostra que uma situação inicialmente suave pode evoluir para uma singularidade em tempo finito, mesmo com força externa suave. Isso resolve o problema ao estabelecer uma das possibilidades previstas na formulação do Clay Mathematics Institute.
A OpenAI publicou a solução e a formalização em Lean para análise independente. E confirmou: não vai reivindicar o prêmio de US$ 1 milhão.
Por que isso importa para o seu negócio
O resultado é técnico e distante do dia a dia empresarial — mas revela algo prático: IA em escala industrial já resolve problemas que resistiram a matemáticos humanos por décadas.
A arquitetura usada — 10 mil agentes explorando variações de um problema em paralelo — é exatamente o modelo que empresas começam a adotar em pesquisa e desenvolvimento. O que hoje custa milhões de dólares tende a ficar acessível em 2 a 3 anos, como aconteceu com geração de texto e imagem.
A mensagem prática para empreendedores: agentes de IA especializados e coordenados já superam soluções pontuais em tarefas complexas. Mapear quais gargalos do seu negócio cabem nesse modelo — seja análise de dados, geração de variações criativas ou automação de pesquisa — é o passo estratégico do momento.
Conteúdo reescrito e traduzido para PT pela redação luiscortex, revisado por humano.
Fonte: Olhar Digital
