A OpenAI anunciou um avanço histórico ao solucionar um dos sete Problemas do Prêmio do Milênio: a questão da existência e suavidade das equações de Navier-Stokes. Considerado um dos maiores desafios da matemática moderna, o problema permanecia sem solução definitiva há décadas, sendo um marco que oferece uma recompensa de US$ 1 milhão pelo Clay Mathematics Institute, sediado em Massachusetts, nos Estados Unidos.
Para alcançar este feito, a companhia utilizou um modelo de inteligência artificial de última geração, superando a capacidade do GPT-6 Astra. A tese final foi estruturada após 88 horas de processamento inicial, seguidas por 17 horas adicionais dedicadas à formalização rigorosa e verificação da prova pelo sistema. Embora o resultado ainda aguarde validação oficial da comunidade científica, a empresa afirma ter demonstrado que o comportamento suave de um fluido pode sofrer ruptura em condições específicas.
A complexidade das equações de Navier-Stokes
As equações de Navier-Stokes são fundamentais para descrever o movimento de fluidos, abrangendo desde o comportamento de gases até líquidos. Propostas originalmente no século XIX pelos físicos Claude-Louis Navier e George Gabriel Stokes, elas buscam determinar se o fluxo permanece estável ou se pode colapsar sob certas variáveis. A OpenAI sustenta que encontrou um contraexemplo onde um redemoinho se torna progressivamente mais estreito e veloz até provocar uma singularidade matemática.
Processamento e escala da inteligência artificial
A resolução do problema exigiu um esforço computacional massivo. Segundo a OpenAI, o processo envolveu o envio de 2,7 milhões de mensagens entre agentes de inteligência artificial, consumindo aproximadamente 130 bilhões de tokens de saída. A organização esclareceu que não utilizou dados específicos de usuários para a tarefa, embora reconheça que informações desidentificadas coletadas por seus produtos possam ter auxiliado no treinamento e na evolução de seus modelos.
Legado científico e impacto na pesquisa
O campo da matemática avançada busca respostas para Navier-Stokes desde que Jean Leray, em 1934, provou a existência de soluções generalizadas sem, contudo, definir sua estabilidade. Mais recentemente, em 2016, o matemático Terence Tao publicou estudos que anteciparam linhas de investigação similares às utilizadas pela IA. A OpenAI declarou que não pretende reivindicar o prêmio financeiro, focando em demonstrar a capacidade de seus modelos para inaugurar uma nova era de descobertas científicas e matemáticas que beneficiem a humanidade. Para mais detalhes sobre o rigor acadêmico, consulte o Clay Mathematics Institute.
Fonte: seudinheiro.com
