A OpenAI anunciou ter encontrado uma solução para as equações de Navier-Stokes, um problema de matemática extremamente complexo, usando mil robôs de inteligência artificial. O esforço, que durou mais de 50 horas, resultou em uma prova matemática completa formalizada em linguagem de programação Lean.
Desafio
As equações de Navier-Stokes, formuladas há cerca de 200 anos, descrevem o comportamento de fluidos como água e ar. Elas ainda contêm questões matemáticas sem resposta, tornando o problema extremamente desafiador.
O Esforço
Para resolver o problema, a OpenAI mobilizou mais de 1.000 agentes de inteligência artificial. O esforço foi tão grande que exigiu um volume elevado de recursos computacionais, estimado em milhões de dólares.
Resultados
O trabalho da OpenAI foi alvo de controvérsia. Matemáticos como Tristan Buckmaster e Levent Alpöge, da Anthropic, questionaram a autoria da solução, alegando que a OpenAI teria tentado interferir na atribuição dos créditos. A empresa negou essas acusações, afirmando que não teria acessado dados privados dos pesquisadores.
Controvérsia
A controvérsia também envolveu questões de acesso a dados. Alguns matemáticos sugeriram que a OpenAI teria usado informações relacionadas ao desenvolvimento da pesquisa dos acadêmicos, incluindo os modelos de inteligência artificial Claude e Codex. A empresa negou essas acusações, reconhecendo que dados desidentificados gerados pelos seus produtos podem ter sido utilizados no treinamento e aprimoramento de seus modelos.
Conclusão
A disputa agora envolve a validade da solução apresentada pela OpenAI e questões sobre autoria, acesso a dados e os limites éticos do uso de inteligência artificial na pesquisa acadêmica. A confirmação matemática independente da prova será fundamental para determinar se o trabalho realmente resolve o problema proposto pelo Clay Mathematics Institute.
Se você gostou do conteúdo, talvez também se interesse por conferir "Com riscos de segurança, quem pode usar o GPT-6 Astra da OpenAI?".