A OpenAI afirma ter solucionado o problema de Navier-Stokes, enigma matemático de 92 anos e um dos Problemas do Milênio. Para o feito, a empresa utilizou 10 mil agentes de IA coordenados durante 88 horas, consumindo milhões de dólares. Contudo, a conquista ainda depende da validação da comunidade acadêmica e gerou polêmica sobre o mérito da descoberta, já que a IA se baseou em avanços recentes de matemáticos humanos que pesquisavam a mesma linha teórica.
A OpenAI afirma ter resolvido o problema da existência e suavidade de Navier-Stokes, que foi proposto em 1934 pelo francês Jean Leray e permanecia sem solução. Esse problema é considerado extremamente importante e, no ano 2000, foi nomeado um dos "Sete Problemas do Milênio" pelo Clay Mathematics Institute, que oferece um prêmio de um milhão de dólares a quem resolvê-lo.
A OpenAI publicou tanto a demonstração analítica quanto sua formalização em Lean. Mas isso ainda não significa que o problema esteja oficialmente resolvido — falta o escrutínio da comunidade matemática. E, para completar, surgiu uma grande polêmica por causa do trabalho prévio de matemáticos humanos. O mérito da descoberta, se é que de fato se trata de uma descoberta, agora está difuso.
Em 1960, Pelé comprou uma fazenda de 661 hectares no Brasil: local foi seu grande refúgio privado e império agropecuário por 40 anos
Família contrata profissional para cuidar do gato durante viagem e descobre pelas câmeras que as visitas de uma hora duravam dez minutos
Ovos de dinossauro foram encontrados em um local frio demais para que eles tivessem existido: cientistas acreditam que o titanossauro construiu suas próprias incubadoras
Para descobrir essa suposta solução, a OpenAI utilizou um modelo interno que descreve como "significativamente mais capaz" que o já potente GPT-6 Astra, e que ainda está em treinamento. Os responsáveis pelo projeto acabaram usando cerca de 10.000 agentes coordenados, trabalhando durante 88 horas e consumindo vários milhões de dólares em computação.
A OpenAI não escolheu esse problema por acaso. Tristan Buckmaster, matemático da Universidade de Nova York, e Levent Alpöge, matemático que trabalha na Anthropic, vinham obtendo avanços importantes havia meses em problemas relacionados. Sua pesquisa dava continuidade a uma linha aberta pelos matemáticos espanhóis Diego Córdoba e Luis Martínez-Zoroa.
Quem busca soluções se apoia em ...
Matérias relacionadas
