OpenAI diz ter resolvido Navier-Stokes, um dos maiores problemas da matemática
A OpenAI coordenou cerca de 10 mil agentes de inteligência artificial durante 88 horas e afirma ter obtido uma prova para o problema de existência e suavidade de Navier-Stokes. Se passar pelo escrutínio de matemáticos e pelas regras do Clay Mathematics Institute, o resultado encerrará uma questão aberta há décadas.
A operação consumiu 300 bilhões de tokens e gerou 4,9 milhões de mensagens entre os sistemas envolvidos. O custo computacional foi estimado na casa dos milhões de dólares, mas a ausência de um valor fechado impede uma conversão precisa para reais.
O que a prova reivindica
As equações de Navier-Stokes descrevem o movimento de fluidos e sustentam modelos usados na meteorologia, na engenharia aeronáutica e no estudo da circulação sanguínea. O desafio matemático consiste em demonstr...