Des comptes affiliés à OpenAI ont signalé qu'un effort assisté par l'IA a produit un résultat lié au problème de l'existence et de la régularité de Navier-Stokes, l'un des problèmes du prix du millénaire. L'affirmation porte sur un système collaboratif impliquant environ 10 000 agents entraînés pendant un an à l'aide de l'apprentissage par renforcement multi-agents.

  • Ethan Knight a déclaré que la solution résultait de ~10 000 agents travaillant ensemble, utilisant une puissance de calcul massive et non structurée au moment du test avec des modèles décidant comment s'organiser.
  • L'approche d'entraînement impliquait l'apprentissage par renforcement multi-agents développé pendant environ un an.
  • L'interprétation publique a présenté l'annonce comme une preuve potentielle générée par l'IA concernant la singularité en temps fini ou l'explosion dans la dynamique des fluides.
  • L'acceptation par la communauté mathématique reste non résolue, et aucun aperçu de preuve formelle, énoncé de théorème ou vérification indépendante n'a été fourni dans les tweets source.
  • Le détail des « 88 heures » cité dans certaines discussions provenait de publications satiriques plutôt que des déclarations principales liées à OpenAI.

L'annonce a déclenché un débat important concernant le rôle du calcul d'inférence parallèle à grande échelle dans la recherche de pointe et si de tels systèmes agents peuvent contribuer à des problèmes mathématiques sérieux.