OpenAI usou mil robôs para decifrar equação centenária dos fluidos

A OpenAI afirma ter encontrado uma solução gerada por inteligência artificial para um dos problemas mais difíceis da matemática: as equações de Navier-Stokes. O conjunto de equações, formulado há cerca de 200 anos, descreve o comportamento de fluidos, como água e ar, e ainda guarda questões matemáticas sem resposta.

Para enfrentar o desafio, a empresa mobilizou mais de 1.000 agentes de IA, que trabalharam por mais de 50 horas consecutivas. O esforço resultou em uma prova matemática completa, formalizada na linguagem de programação Lean. Segundo a OpenAI, o trabalho mostra como sistemas de inteligência artificial podem contribuir para pesquisas de matemática fundamental.

A operação, no entanto, exigiu um volume elevado de recursos computacionais. Mark Chen, chefe de pesquisa da OpenAI, afirmou que o custo ficou “na casa dos milhões de dólares”. Sebastien Bubeck, pesquisador da empresa, disse que o esforço foi intensificado em 28 de agosto, após surgirem rumores de que a Anthropic estaria próxima de apresentar uma solução para o problema.

As equações de Navier-Stokes estão entre os sete Problemas do Milênio definidos pelo Clay Mathematics Institute. Cada solução comprovada de um desses desafios rende um prêmio de US$ 1 milhão.