L’intelligence artificielle reste au cœur de toutes les attentions.
Ce que la dernière polémique autour d’OpenAI nous apprend sur l’avenir des mathématiques
Les sociétés spécialisées dans l’IA réalisent des progrès impressionnants en mathématiques. Les mathématiciens humains sont en train de perdre du terrain.
La dernière avancée mathématique majeure d’OpenAI s’est en peu de temps retrouvée au cœur d’une polémique. Aujourd’hui, l’entreprise a annoncé que ses agents avaient résolu l’un des « problèmes du millénaire », qui comptent parmi les problèmes ouverts les plus importants en mathématiques. En temps normal, cette plateforme aurait constitué un immense succès pour OpenAI.
De plus, mais cette annonce a été éclipsée par des accusations selon lesquelles OpenAI aurait utilisé comme point de départ les travaux menés à l’aide de l’IA par Tristan Buckmaster, mathématicien à l’université de New York (NYU), et Levent Alpöge, employé d’Anthropic, sans leur en attribuer le mérite. OpenAI a nié ces accusations.
On ignore encore si les modèles d’OpenAI se sont appuyés sur les travaux menés par Buckmaster et Alpöge, bien que Sébastien Bubeck, membre de l’équipe technique d’OpenAI, ait déclaré lors d’une conférence de presse que l’équipe avait eu l’idée de se pencher sur ce problème après avoir entendu une rumeur concernant les travaux de Buckmaster et Alpöge. Toutefois que les modèles d’OpenAI aient ou non tiré parti des travaux de Buckmaster et Alpöge, cet épisode pourrait bien marquer un tournant dans l’histoire des mathématiques.
Autre élément, les modèles d’IA semblent désormais indispensables pour faire avancer la résolution des problèmes mathématiques les plus importants de notre époque, et leur résolution peut nécessiter des ressources dont ne disposent que quelques entreprises de pointe dans le domaine de l’IA, ce qui va souvent à l’encontre des normes de collaboration universitaire qui sous-tendent la plupart des avancées mathématiques. Si tel est l’avenir qui nous attend, on ne voit pas particulièrement bien quelle place y auront les mathématiciens humains.
Le problème qu’OpenAI affirme avoir résolu est connu sous le nom de « problème d’existence et de régularité de Navier-Stokes ». Il s’agit de l’un des sept « problèmes du millénaire » sélectionnés par le Clay Mathematics Institute en 2000. Leur résolution est récompensée par un prix d’un million de dollars ; jusqu’à aujourd’hui, un seul autre « problème du millénaire » avait été résolu.
Le problème de Navier-Stokes concerne un ensemble d’équations qui décrivent l’évolution dans le temps de l’écoulement des fluides, tels que l’eau et l’air. Ces équations sont largement utilisées dans le domaine de la dynamique des fluides et se sont révélées très efficaces, mais les physiciens et les mathématiciens ne les comprenaient pas entièrement. On ignorait notamment jusqu’à aujourd’hui si ces équations pouvaient, sous certaines conditions, ne plus être valables et prédire une situation impossible — comme celle d’un fluide ayant une vitesse infinie.
Lundi, M. Buckmaster, de l’université de New York (NYU), a publié sur le réseau social Mastodon une démonstration montrant qu’une version simplifiée des équations de Navier-Stokes peut effectivement présenter des limites — ce qui constitue une avancée majeure dans la résolution du « problème du millénaire ». Avec Alpöge, il avait travaillé sur ce problème pendant près d’un an, en utilisant des modèles accessibles au public fournis à la fois par OpenAI et Anthropic.
Les retombées concrètes se feront sentir dans les mois qui viennent.
À lire également :
- OpenAI recrute un éminent « doomer » de l’IA au sein de son conseil d’administration | TechCrunch
- La « récurrence opaque » et d’autres termes liés à l’IA que vous devriez probablement connaître | TechCrunch
Source originale : MIT Technology Review : MIT Technology Review