OpenAI divulga proposta de prova para problema de Navier‑Stokes e gera disputa por crédito e uso de dados
Empresa publicou formalização em Lean; matemáticos questionam uso de abordagens não publicadas e verificação independente segue em curso.
OpenAI disse que um sistema interno não divulgado usou cerca de 10.000 agentes de IA por aproximadamente 88 horas e milhões de dólares em capacidade de processamento para produzir uma solução proposta e uma formalização em Lean do problema de Navier‑Stokes.
O matemático Tristan Buckmaster, da New York University, acusou publicamente a OpenAI de seguir sua abordagem não publicada e perguntou se sessões com o modelo Codex dele ajudaram a treinar o sistema.
A OpenAI negou que pesquisadores ou agentes tenham visto rascunhos específicos de usuários, mas afirmou que não pode descartar totalmente que o uso de produtos, depois desidentificado, tenha informado melhorias do modelo.
A empresa retirou o patrocínio do Mathathon do Caltech após reação organizada de acadêmicos que dizem que o anúncio deslocou o trabalho de verificação para matemáticos não remunerados.
A verificação por comunidades independentes, a revisão por periódicos e os procedimentos do Clay Mathematics Institute continuam sendo as vias centrais para elegibilidade ao prêmio e aceitação duradoura, e matemáticos alertam que o caso pode alterar normas sobre compartilhamento, autoria e governança de dados.
