OpenAI diz que IA interna resolveu equações de Navier–Stokes em horas; há disputa por crédito
Prova formalizada em Lean teria sido gerada em ~88 horas com até 10.000 agentes; matemáticos pedem revisão e validação antes de aceitar a reivindicação
A OpenAI anunciou que um modelo interno, ainda não divulgado, produziu uma prova formalizada em Lean mostrando uma singularidade em tempo finito para as equações de Navier–Stokes em três dimensões. A empresa diz que o processo levou cerca de 88 horas e usou até 10.000 agentes de IA em paralelo.
Dois pesquisadores independentes, Tristan Buckmaster e Levent Alpöge, publicaram na noite anterior resultados relacionados e afirmam ter trabalhado por meses com ferramentas como Codex e outros modelos. Eles alegam que a OpenAI teve conhecimento de seu progresso antes da divulgação pública.
A OpenAI nega ter acessado diretamente rascunhos privados dos pesquisadores e afirma que sua equipe e agentes não viram esses materiais. Ao mesmo tempo, a empresa admite que não pode excluir por completo a possibilidade de melhorias incidentais a partir de dados de usuários desidentificados.
O Clay Mathematics Institute e a comunidade matemática reforçaram que será necessário peer review, dois anos de validação pela comunidade e escrutínio formal antes que qualquer reivindicação possa qualificar-se para o Prêmio do Milênio ou ser considerada definitivamente resolvida.
Além da alegação técnica, o caso expõe tensões novas sobre como grandes recursos de computação e práticas de treinamento de modelos mudam os incentivos para compartilhar trabalhos inacabados, atribuir crédito e verificar matemática produzida por máquinas.