A OpenAI usou um modelo interno mais forte que o Astra para resolver o problema do blowup em tempo finito de Navier-Stokes, completando a tarefa em 88 horas após ouvir rumores sobre a resolução dos Problemas do Milênio.

  • Os agentes enviaram 2,7 milhões de mensagens e usaram aproximadamente 130 bilhões de tokens de saída para a solução de Navier-Stokes.
  • Em todos os problemas tentados, os agentes enviaram 4,9 milhões de mensagens e usaram cerca de 300 bilhões de tokens de saída.
  • Os matemáticos Tristan Buckmaster e Levent Alpoge haviam trabalhado anteriormente em resultados relacionados com assistência de LLM, mas foram forçados a publicar antecipadamente sem verificação completa.
  • A OpenAI ofereceu a Buckmaster duas propostas sobre autoria e timing de seus respectivos anúncios, que ele recusou.

O evento destaca o rápido ritmo do progresso da IA na pesquisa matemática e levanta questões sobre padrões de crédito e colaboração.