OpenAI a utilisé un modèle interne plus puissant qu'Astra pour résoudre le problème de l'explosion en temps fini de Navier-Stokes, achevant la tâche en 88 heures après avoir entendu des rumeurs sur la résolution des Problèmes du Millénaire.

  • Les agents ont envoyé 2,7 millions de messages et utilisé environ 130 milliards de tokens de sortie pour la solution de Navier-Stokes.
  • Pour tous les problèmes tentés, les agents ont envoyé 4,9 millions de messages et utilisé environ 300 milliards de tokens de sortie.
  • Les mathématiciens Tristan Buckmaster et Levent Alpoge avaient précédemment travaillé sur des résultats connexes avec l'assistance de LLM mais ont dû publier prématurément sans vérification complète.
  • OpenAI a proposé à Buckmaster deux propositions concernant l'auteur et le moment de leurs annonces respectives, qu'il a refusées.

L'événement met en lumière le rythme rapide des progrès de l'IA dans la recherche mathématique et soulève des questions sur les normes de crédit et de collaboration.