A OpenAI anunciou em 8 de setembro de 2026 que um sistema de inteligência artificial resolveu as equações de Navier-Stokes, um dos Problemas do Milênio que permanecia em aberto há cerca de 90 anos. A empresa, criadora do ChatGPT, utilizou aproximadamente 10 mil agentes de IA para alcançar a solução em cerca de 88 horas. O treinamento do modelo começou em 28 de agosto de 2026 e culminou em uma demonstração matemática acompanhada de uma versão escrita na linguagem Lean.
Detalhes do treinamento e execução
Os agentes de IA trabalharam de forma simultânea para atacar o problema de existência e suavidade das equações. Esse esforço coordenado permitiu que o sistema produzisse uma prova formal em tempo recorde. A OpenAI destacou que o processo envolveu computação intensiva e verificação rigorosa dos resultados obtidos.
Objetivos e posicionamento da empresa
A iniciativa visou exclusivamente resolver o desafio matemático aberto, sem qualquer intenção de reivindicar o prêmio associado. A empresa informou que o foco permanece no avanço científico e não em recompensas financeiras. Especialistas acompanham agora a verificação independente da demonstração para confirmar sua validade.
