OpenAI usa 1.000 agentes de IA e formaliza prova das equações de Navier-Stokes
:quality(85)/6de05839-f89f-4e11-9241-bf65e6e6c8d6.jpg)
A OpenAI afirma ter encontrado uma solução gerada por inteligência artificial para as equações de Navier-Stokes, um dos problemas mais difíceis da matemática. A empresa mobilizou mais de 1.000 agentes de IA por mais de 50 horas consecutivas, chegando a uma prova formalizada na linguagem de programação Lean.
O esforço, segundo a OpenAI, teve custo “na casa dos milhões de dólares” e foi intensificado em 28 de agosto após rumores de que a Anthropic estaria perto de apresentar uma solução. A iniciativa também gerou questionamentos sobre autoria e possível acesso a informações de pesquisadores, enquanto a confirmação matemática independente deve ser decisiva para validar a prova.
Canaltech
O texto acima é um resumo reescrito. A apuração, o texto integral e os créditos são da fonte — abra o original para ler na íntegra.
Ler matéria original ↗Resumo gerado por IA a partir da matéria original e revisto pelo método descrito em como funciona a curadoria. Em caso de divergência, vale o texto da fonte. Achou um erro? Fale com a gente.