Reclamação sobre Navier–Stokes de sistema da OpenAI gera dúvidas e conflitos de crédito
Relatório formalizado foi divulgado, mas modelo e prompts ficaram retidos; verificação, autoria e impacto na carreira seguem em aberto
A OpenAI afirmou que um sistema multiagente resolveu partes do Problema do Milênio de Navier–Stokes e publicou um relatório de 166 páginas junto com uma formalização em Lean — uma verificação mecânica que checa passos lógicos por máquina.
Revisores independentes levantaram dúvidas de que a alegação se aplica apenas à versão forçada das equações, e não ao caso canônico sem força externa. O Clay Mathematics Institute ainda avalia se a solução é relevante para o prêmio.
Pesquisadores, entre eles Tristan Buckmaster e Levent Alpöge, acusaram a OpenAI de ter se baseado em trabalhos relacionados não publicados; a empresa negou ter usado os dados ou prompts desses autores. Assim, questões sobre autoria, prioridade e crédito permanecem sem resolução.
Estudantes de pós‑graduação e professores reagiram com alarme: universidades mudaram políticas internas, e financiadores como a Simons Foundation lançaram programas para ajudar matemáticos a verificar resultados produzidos por IA e se adaptar às mudanças.
Os próximos passos são claros: serão necessários meses de checagens independentes, que dependem de transparência do modelo ou de divulgação completa da proveniência dos resultados. O campo agora acompanha a revisão do Clay e qualquer liberação de prompts ou detalhes de treinamento como sinais sobre replicação e resolução das disputas de crédito.