A OpenAI afirmou nesta terça-feira (8) que um sistema de inteligência artificial da empresa resolveu um problema matemático que estava em aberto havia cerca de 90 anos: o de existência e suavidade das equações de Navier-Stokes.
Segundo a empresa, cerca de 10 mil agentes de IA trabalharam simultaneamente no grupo que chegou à solução, alcançada em aproximadamente 88 horas.
As equações de Navier-Stokes descrevem o movimento de líquidos e gases e são amplamente aplicadas no desenvolvimento de aviões, na previsão do tempo e no estudo do fluxo sanguíneo. Sua versão sobre existência e suavidade das soluções integra os sete Problemas do Milênio, lista organizada pelo Instituto Clay de Matemática desde 2000 para reunir os desafios matemáticos considerados mais relevantes e resistentes.
A OpenAI destacou que a resposta encontrada resultou do trabalho coordenado de milhares de agentes de IA operando ao mesmo tempo, e não de um único sistema isolado. Ainda assim, a empresa afirmou que não pretende reivindicar o prêmio ligado ao problema, mesmo tendo apresentado publicamente a solução.
A empresa publicou em sua página oficial tanto a demonstração matemática quanto uma versão do resultado escrita em Lean, ferramenta que permite verificar demonstrações matemáticas por computador. A disponibilização do código de verificação abre caminho para que outros pesquisadores confiram a validade da solução de forma independente.
O caso reacende o debate sobre o papel de sistemas de inteligência artificial na produção de conhecimento científico avançado, especialmente diante da escala do experimento: cerca de 10 mil agentes atuando em paralelo para enfrentar um problema que resistiu a matemáticos por quase um século.