Une IA remet en question un principe mathématique

Un modèle d'intelligence artificielle développé par OpenAI a soulevé des interrogations sur un principe mathématique établi de longue date en informatique, connu sous le nom d'hypothèse du temps exponentiel (ETH, pour « exponential time hypothesis »). Cette hypothèse suggère que la difficulté de résoudre certains problèmes logiques augmente de manière exponentielle à mesure que le nombre de solutions possibles croît.

Le rôle de l'ETH en informatique

L'hypothèse du temps exponentiel est une pierre angulaire de la théorie de la complexité algorithmique depuis plus de trente ans. Elle a façonné la compréhension de la difficulté à résoudre des problèmes complexes et a influencé de nombreux articles de recherche et méthodes de calcul.

La méthode de vérification d'OpenAI

OpenAI affirme que son modèle d'IA a résolu des problèmes plus rapidement qu'on ne le pensait possible, au regard de l'ETH. Cette affirmation a été vérifiée à l'aide de Lean, un logiciel conçu pour contrôler la justesse des démonstrations mathématiques, ce qui renforce la crédibilité des résultats.

Des réactions académiques contrastées

L'annonce a suscité des réactions variées parmi les experts. Magnus Wahlström, professeur à l'université de Londres, s'est inquiété de l'effet que des modèles d'IA propriétaires pourraient avoir sur les recherches en cours, tout en reconnaissant l'importance de cette découverte.

Incertitudes sur les résultats

Clément Canonne, expert en algorithmique à l'université de Sydney, a souligné que si les résultats remettent en cause l'ETH, les raisons profondes des performances de l'IA demeurent floues, laissant de nombreuses questions sans réponse dans le domaine.

Un processus d'examen indépendant

OpenAI a invité des chercheurs de premier plan, parmi lesquels Russell Impagliazzo et Ramamohan Paturi, qui ont contribué à l'élaboration de l'ETH, à examiner ses résultats. Leur participation donne du poids au processus d'examen et souligne l'importance de cette percée potentielle.

De nouvelles perspectives de recherche

Fedor Fomin, professeur à l'université de Bergen, a qualifié ce résultat de perturbateur pour les conceptions actuelles, mais aussi d'occasion d'explorer de nouveaux domaines de recherche, estimant que cette découverte pourrait conduire à des avancées inattendues en théorie du calcul.