A OpenAI publicou um post no blog afirmando que seus agentes internos resolveram o problema da existência e suavidade de Navier–Stokes, um dos sete Problemas do Prêmio Millennium. A resolução foi alcançada aproximadamente 88 horas após a equipe iniciar o esforço em 1º de setembro, seguindo rumores de que os matemáticos Tristan Buckmaster e Levent Alpöge também haviam encontrado uma solução.

  • Os agentes da OpenAI enviaram 2,7 milhões de mensagens e utilizaram aproximadamente 130 bilhões de tokens de saída para resolver o problema de Navier–Stokes.
  • A formalização e verificação em Lean levaram mais 17 horas via GPT‑6 Astra.
  • O esforço total em todos os problemas tentados envolveu 4,9 milhões de mensagens e cerca de 300 bilhões de tokens de saída.
  • A OpenAI afirmou que não acessou dados específicos de usuários de Buckmaster e Alpöge, mas não pôde descartar que dados desidentificados tenham melhorado seus modelos.

O artigo destaca as implicações éticas dos laboratórios de IA potencialmente usarem dados de clientes para melhorar os modelos, levantando preocupações sobre se esse treinamento poderia inadvertidamente ajudar concorrentes a resolver problemas primeiro.