A companhia norte-americana OpenAI, criadora do ChatGPT, afirmou, na terça-feira (8), que um sistema de inteligência artificial (IA) desenvolveu uma solução para o problema da existência e suavidade das equações de Navier-Stokes, um dos sete Problemas do Milênio da matemática. A questão permaneceu sem solução reconhecida por cerca de 90 anos.
As equações de Navier-Stokes descrevem o movimento de líquidos e gases e são utilizadas em áreas como engenharia aeronáutica, meteorologia e estudo do fluxo sanguíneo.
Segundo a OpenAI, cerca de 10 mil agentes de IA trabalharam simultaneamente na resolução. O sistema chegou ao resultado em aproximadamente 88 horas. A empresa também produziu uma formalização da demonstração na linguagem Lean, utilizada para verificar provas matemáticas por computador. A verificação levou outras 17 horas.
O problema busca determinar se as equações, em três dimensões, podem desenvolver uma singularidade em tempo finito, situação em que determinados valores matemáticos crescem sem limite. A OpenAI afirma ter demonstrado que esse fenômeno pode ocorrer, mesmo com a energia total do fluido permanecendo finita.
Na prática, isso não significa que líquidos ou gases possam atingir velocidade infinita. Trata-se de uma questão matemática sobre os limites das equações utilizadas para representar o comportamento dos fluidos.
A OpenAI informou que não pretende reivindicar o prêmio de US$ 1 milhão oferecido pelo Instituto Clay de Matemática para a solução de um dos Problemas do Milênio. A demonstração ainda precisará ser analisada pela comunidade matemática antes de ser reconhecida como uma solução definitiva.
A empresa afirmou que o modelo utilizado é interno, mais avançado que o GPT-6 Astra e ainda está em treinamento. O sistema responsável pela resolução foi disponibilizado aos agentes em 28 de agosto.
