OpenAI utilizó un modelo interno más potente que Astra para resolver el problema del estallido en tiempo finito de Navier-Stokes, completando la tarea en 88 horas tras escuchar rumores sobre la resolución de los Problemas del Milenio.

  • Los agentes enviaron 2,7 millones de mensajes y utilizaron aproximadamente 130 mil millones de tokens de salida para la solución de Navier-Stokes.
  • En todos los problemas intentados, los agentes enviaron 4,9 millones de mensajes y utilizaron unos 300 mil millones de tokens de salida.
  • Los matemáticos Tristan Buckmaster y Levent Alpoge habían trabajado previamente en resultados relacionados con asistencia de LLM pero se vieron obligados a publicar antes sin una verificación completa.
  • OpenAI ofreció a Buckmaster dos propuestas sobre la autoría y el momento de sus respectivos anuncios, las cuales él rechazó.

El evento destaca el rápido ritmo del progreso de la IA en la investigación matemática y plantea preguntas sobre los estándares de crédito y colaboración.