OpenAI diz que resolveu em 88 horas problema matemático em aberto há cerca de 90 anos

A OpenAI, criadora do ChatGPT, afirmou na terça-feira (8) que um sistema de IA da empresa resolveu um problema matemático que permanecia em aberto havia cerca de 90 anos. A questão envolve as equações de Navier–Stokes, usadas para descrever como líquidos e gases se movimentam. Elas têm aplicações no desenvolvimento de aviões, na previsão do tempo e no estudo do fluxo de sangue. Segundo a empresa, cerca de 10 mil agentes de inteligência artificial trabalharam simultaneamente no grupo que encontrou a solução. O resultado foi alcançado em aproximadamente 88 horas. O chamado problema de existência e suavidade de Navier–Stokes é um dos sete Problemas do Milênio, selecionados pelo Instituto Clay de Matemática em 2000. A OpenAI informou que não pretende reivindicar o prêmio associado ao desafio. A empresa divulgou, em sua página, de uma demonstração matemática e de uma versão escrita em Lean, uma ferramenta que permite verificar demonstrações por computador.