L’entreprise d’intelligence artificielle OpenAI a annoncé qu’elle a généré une solution à l’un des problèmes du millénaire, en s’attaquant au modèle physique le plus couramment utilisé pour décrire le mouvement des fluides. L’annonce, rendue publique le 8 septembre, concerne les équations de Navier-Stokes, qui portent sur la façon dont les fluides comme l’eau et l’air se déplacent. Ces équations font partie des sept problèmes du millénaire posés par le Clay Mathematics Institute au tournant du XXIe siècle, dont la résolution est assortie d’un prix de 1 million de dollars.
Une percée majeure annoncée par OpenAI dans le domaine des mathématiques
Selon l’entreprise, un modèle d’intelligence artificielle non encore public a résolu le problème en l’espace de 88 heures. Pour y parvenir, OpenAI a mobilisé un groupe d’environ 10 000 agents ou robots autonomes travaillant en parallèle. La preuve produite par ces agents a montré que les équations peuvent s’effondrer et atteindre une vitesse infinie en un temps fini, un comportement physiquement impossible pour un fluide réel tel qu’un liquide ou un gaz.
Les détails techniques et l’ampleur des ressources mobilisées
Pour attaquer ce problème complexe, l’entreprise a consacré des ressources inédites à une seule tâche. Le modèle a d’abord résolu une version simplifiée de la question en 50 heures en utilisant 1 000 agents, avant que l’équipe n’augmente la puissance de calcul avec 10 000 agents pour s’attaquer au problème complet des Navier-Stokes. D’après OpenAI, les robots ont échangé près de 3 millions de messages et consommé 130 milliards de jetons de sortie uniquement pour ce problème, un effort qui aurait coûté environ 10 millions de dollars selon la grille tarifaire de l’entreprise.
L’organisation a précisé que sa solution a résolu deux des quatre déclarations de la preuve exigées par le Prix du Millénaire. La structure a également publié un article détaillant sa proposition, incluant une preuve écrite en Lean, un langage de programmation et système de vérification de théorèmes mathématiques formels.
Réactions de la communauté scientifique et controverses autour des recherches
L’annonce a immédiatement suscité des réactions contrastées au sein de la communauté mathématique. Martin Bridson, président du Clay Mathematics Institute, a qualifié la nouvelle d’excitante, soulignant les progrès dans la compréhension humaine des mathématiques. Parallèlement, Terence Tao, mathématicien à l’Université de Californie à Los Angeles, a salué le travail de recherche mené en parallèle.
L’annonce est intervenue dans un contexte de rivalité et de controverse concernant des recherches similaires. Tristan Buckmaster, professeur de mathématiques à l’Université de New York, et Levent Alpöge, mathématicien travaillant pour la société concurrente Anthropic, travaillaient également sur des solutions pour ce problème en utilisant des outils d’IA.
Portée et limites de la solution obtenue par l’intelligence artificielle
Malgré l’ampleur de la démonstration, les implications pratiques et le statut de cette découverte font l’objet de réserves. OpenAI a indiqué qu’elle n’avait pas l’intention de réclamer le prix du millénaire pour ce résultat. De plus, la solution doit encore faire l’objet d’une vérification indépendante et d’une acceptation publique de la part du Clay Mathematics Institute avant que le problème ne puisse être considéré comme définitivement réglé.
Le nouveau modèle d’IA demeure un outil utilisé exclusivement à l’interne, car il est jugé beaucoup plus performant que les versions grand public précédentes. Les chercheurs de l’entreprise estiment que cette avancée témoigne de la progression rapide des capacités des systèmes automatisés à traiter des sujets de recherche fondamentale d’une haute complexité.
Sur le même sujet