Peu de temps après que OpenAI est intervenu pour annoncer qu’il avait résolu le célèbre problème mathématique de Navier-Stokes, provoquant l’ire de la communauté mathématique et alimentant les spéculations selon lesquelles l’IA aurait puisé ses résultats chez d’autres mathématiciens, l’entreprise serait en train de viser un autre Problème du Millennium Prize.
Le média The Information a rapporté jeudi, citant une seule source au sein d’OpenAI, que les employés de l’entreprise d’IA s’attendraient à résoudre prochainement la conjecture de Hodge. Il s’agit d’une question célèbre et non résolue en mathématiques concernant la possibilité de construire, à partir d’équations polynomiales, certaines caractéristiques topologiques de figures géométriques en utilisant des sections géométriques plus petites de la même figure. Scientific American a souligné qu’elle est « sans doute la plus abstraite des sept énigmes du Millennium Prize », dont seulement cinq restent à résoudre. (Chaque énigme porte une récompense d’un million de dollars.)
Les critiques estiment que les entreprises d’IA s’approprient le travail des mathématiciens pour produire rapidement des solutions à des problèmes non résolus sans contribuer à une compréhension globale des mathématiques. Ils ont aussi remarqué que les entreprises d’IA ne semblent pas du tout aussi intéressées par des tâches académiques moins glamour, comme la vérification de leurs solutions — ce qui peut prendre des années avec des experts externes et le Clay Institute, sponsor du Millennium Prize — qu’elles ne le seraient par un simple coup de communication. De nombreux mathématiciens ont signé des lettres ouvertes attaquant OpenAI, et l’entreprise a retiré son soutien au Caltech Mathathon, l’événement axé sur l’IA prévu le mois prochain.
Selon The Information, les ingénieurs d’OpenAI ne voient pas seulement une opportunité commerciale à faire pour les mathématiques ce que les grands modèles de langage ont fait pour le codage, mais croient aussi que dominer les mathématiques constitue une voie importante vers l’amélioration récursive autonome (RSI). C’est l’idée selon laquelle un ordinateur suffisamment intelligent entrera dans une phase d’auto-amélioration exponentielle et autonome. Selon la personne à qui l’on demande, le RSI est un mot d’ordre marketing, du bavardage philosophique de techniciens, ou la porte ouverte vers l’apocalypse.
OpenAI semble au moins prendre conscience, à la suite du fiasco Navier-Stokes, que les mathématiciens l’observent désormais comme un fermier du Dust Bowl scrutant une nuée de criquets qui approche.
« Il pourrait leur falloir plus de temps pour annoncer la solution, toutefois, car ils essaient de comprendre comment collaborer avec la communauté mathématique afin de faire l’annonce sans déclencher une autre tempête médiatique », a résumé The Information en citant sa source.
