OpenAI diz ter resolvido problema matemático do Milênio com IA

A OpenAI anunciou nesta semana um avanço significativo no campo da matemática teórica ao afirmar que um de seus modelos de inteligência artificial, ainda não lançado publicamente, resolveu o problema de Navier-Stokes. O desafio, classificado como um dos sete Problemas do Milênio pelo Instituto de Matemática Clay, trata da compreensão fundamental sobre o movimento de fluidos. Segundo a empresa, o sistema utilizou cerca de 10 mil agentes de IA trabalhando em paralelo durante 88 horas para desenvolver uma prova analítica e uma formalização em Lean, demonstrando que um fluido pode desenvolver uma singularidade em tempo finito. O custo computacional da operação foi estimado em milhões de dólares. A OpenAI declarou que não pretende solicitar o prêmio de US$ 1 milhão oferecido pelo Instituto Clay, focando o anúncio na capacidade de seus modelos de fronteira em lidar com problemas científicos complexos. A prova descreve a formação de um vórtice que acelera indefinidamente enquanto mantém energia finita, um marco que, se validado, alteraria a compreensão atual da dinâmica de fluidos. Apesar do anúncio, a conquista foi acompanhada por controvérsias sobre a originalidade do trabalho. Pesquisadores da área, incluindo Tristan Buckmaster e Levent Alpoge, questionaram se o modelo da OpenAI teria acessado informações de estudos privados ou não publicados para guiar seus agentes. Em resposta, a OpenAI negou categoricamente que seus sistemas tenham utilizado dados de usuários ou trabalhos acadêmicos confidenciais durante o treinamento ou a execução do processo. A demonstração agora aguarda o escrutínio rigoroso da comunidade matemática internacional para verificar se a solução atende aos critérios formais exigidos para o reconhecimento oficial do Problema do Milênio.