OpenAI divulga solução gerada por IA para problema do Milênio de Navier-Stokes

A OpenAI anunciou que seus agentes resolveram o problema do Milênio de Navier-Stokes, um dos problemas em aberto mais importantes da matemática, e publicou o texto da solução e uma prova formal na linguagem Lean.

O anúncio foi ofuscado por acusações de que a OpenAI teria usado como ponto de partida o trabalho do matemático Tristan Buckmaster, da NYU, e de Levent Alpöge, da Anthropic, sem dar crédito, segundo a MIT Technology Review. A OpenAI nega. Não está claro se seus modelos usaram esse trabalho, e a solução ainda precisa ser validada pela comunidade matemática e pelo Clay Institute.