Matemáticos dizem que a OpenAI não entende sua própria prova de Navier-Stokes
decoder ·
Matemáticos criticaram a recente alegação da OpenAI de ter resolvido o problema de Navier-Stokes, argumentando que a prova proposta carece de profundidade substancial, apesar de sua verificação formal no Lean. Especialistas observam que, embora a abordagem assemelhe-se superficialmente ao trabalho de matemáticos espanhóis, uma análise detalhada revela divergências significativas na metodologia. A controvérsia é ainda complicada por acusações de Tristan Buckmaster, da NYU, de que a OpenAI utilizou trabalho prévio não publicado, alegação que a empresa nega. Além disso, a OpenAI publicou aproximadamente 400 resultados adicionais no GitHub, atitude que frustrou muitos na comunidade matemática por parecer trivializar os rigorosos padrões acadêmicos. Um ponto central de disputa envolve o papel dos agentes de IA, com o pesquisador Noam Brown admitindo que não está claro quanto contribuiu a enorme enxame de 10.000 instâncias. Brown sugere que menos de dez por cento do sucesso deriva da configuração multiagente, atribuindo a maioria dos ganhos à resistência e às capacidades de processamento paralelo do modelo base. Consequentemente, críticos argumentam que a OpenAI não compreende totalmente a mecânica ou o valor de seus próprios esforços computacionais. O Instituto de Matemática Clay continua a revisar a solução potencial, enquanto o debate sobre o papel da IA na matemática de alto nível se intensifica.
decoder