Sistema de IA da OpenAI resolveu em 88 horas um problema complexo das equações de Navier–Stokes, fundamental para entender o movimento de fluidos.
A OpenAI anunciou que sua inteligência artificial conseguiu resolver um problema matemático que estava em aberto há cerca de 90 anos. A questão envolve as equações de Navier–Stokes, essenciais para descrever o comportamento de líquidos e gases em diversas áreas, da previsão do tempo à engenharia aeronáutica.
De acordo com a empresa, aproximadamente 10 mil agentes de IA trabalharam juntos para encontrar a solução, que foi alcançada em cerca de 88 horas. Esse desafio é conhecido como o problema de existência e suavidade das equações de Navier–Stokes, um dos sete Problemas do Milênio definidos pelo Instituto Clay de Matemática.
O problema questiona se as equações podem gerar uma “singularidade”, ou seja, uma situação em que a velocidade do fluido cresce sem limite em um tempo finito, mesmo partindo de condições suaves. A singularidade indicaria que as fórmulas deixam de representar corretamente o comportamento real dos fluidos em certos casos.
A IA da OpenAI demonstrou que essa singularidade pode ocorrer matematicamente, mostrando um cenário em que o fluido, inicialmente parado, começa a se mover sob uma força externa suave, mantendo a energia total finita, apesar do crescimento ilimitado da velocidade em uma região.
Além de divulgar a solução, a OpenAI disponibilizou uma demonstração matemática e uma versão da prova escrita em Lean, uma ferramenta para verificação automática de teoremas. A empresa ressaltou que não pretende reivindicar o prêmio financeiro do desafio e informou que o modelo usado continua em treinamento desde agosto, apresentando capacidades superiores ao GPT-6 Astra.