OpenAI affirme avoir résolu les équations de Navier-Stokes avec 10 000 agents IA en 88 heures

Génération autonome d'une preuve

OpenAI a annoncé qu'un modèle d'intelligence artificielle a résolu les équations de Navier-Stokes, l'un des sept problèmes du prix du millénaire établis par le Clay Mathematics Institute. Le calcul a nécessité 88 heures de traitement par plus de 10 000 agents IA travaillant simultanément en groupes coordonnés. Le système a généré plus de 130 milliards de jetons et échangé 2,7 millions de messages, suivis de 17 heures consacrées à la formalisation et à la vérification. Mark Chen, responsable de la recherche chez OpenAI, a déclaré que la puissance de calcul utilisée lors de l'exécution a coûté des millions de dollars. OpenAI a décrit le modèle sous-jacent comme possédant des capacités supérieures à son système GPT-6 Astra récemment publié.

C'est une étape importante dans la recherche en IA. C'est la promesse qu'il deviendra possible de répondre à d'autres questions parmi les plus complexes.

Dynamique des fluides et prix du millénaire

Les équations de Navier-Stokes décrivent comment les fluides visqueux tels que l'eau et l'air se déplacent dans le temps. L'ingénieur français Henri Navier a établi le premier cadre mathématique en 1822, et le physicien britannique George Gabriel Stokes a achevé la version définitive en 1845. Les équations servent à des applications pratiques dans la conception d'ailes d'avion, les prévisions météorologiques, la modélisation des tornades et l'analyse de la circulation sanguine. En 2000, le Clay Mathematics Institute a désigné Navier-Stokes comme un problème du prix du millénaire avec une récompense d'un million de dollars pour une preuve vérifiée. Jusqu'à cette annonce, la conjecture de Poincaré, résolue par le mathématicien russe Grigori Perelman en 2002, était le seul problème résolu de la liste. OpenAI a déclaré que sa preuve démontre comment un vortex peut se rétrécir et s'allonger, provoquant une vitesse de fluide théoriquement infinie en un temps fini tout en maintenant une énergie totale limitée.

Crédit académique et mathématiciens espagnols

L'annonce a suscité un examen minutieux de la part de chercheurs indépendants concernant l'attribution correcte des travaux antérieurs. Les mathématiciens espagnols Luis Martinez de CUNEF et Diego Cordoba de l'Institut des sciences mathématiques ont développé des méthodes fondamentales sur l'évolution des fluides qu'OpenAI a intégrées dans son processus. OpenAI a d'abord omis les références à leurs travaux publiés avant de mettre à jour sa publication pour citer les deux mathématiciens suite à des critiques publiques. Martinez a déclaré que le problème de Navier-Stokes avait résisté aux solutions mathématiques pendant des générations et que leur méthode était essentielle pour que le système d'IA parvienne à une conclusion. La preuve proposée reste soumise à un examen formel par les pairs et à une vérification par la communauté mathématique mondiale avant toute confirmation officielle du prix.

Compétition d'entreprise et rivalité avec Anthropic

Le projet est né directement de la concurrence industrielle entre OpenAI et son rival Anthropic. Le directeur général d'OpenAI, Sam Altman, a reconnu que l'entreprise avait commencé l'effort après avoir entendu des rumeurs selon lesquelles les modèles d'Anthropic avaient résolu un problème du prix du millénaire. Le mathématicien de l'Université de New York, Tristan Buckmaster, et le chercheur d'Anthropic, Levent Alpoge, avaient passé le mois d'août à travailler sur les équations d'Euler connexes en utilisant des modèles internes d'Anthropic. Le chercheur d'OpenAI, Sebastien Bubeck, a publié un compte rendu le 8 septembre suite à des appels privés avec Buckmaster, niant avoir tenté de priver Alpoge de crédit tout en s'excusant pour des remarques faites lors de discussions tendues.

Quand ce sont deux des plus grandes entreprises du monde, elles doivent passer à autre chose. Je ne suis qu'un spectateur dans ces jeux mesquins.