« GPT-5.6 Sol aurait résolu en 90 minutes une conjecture statistique vieille de 30 ans que les humains n'avaient pas percée »
Le procès de Benjamini-Hochberg, méthode statistique vieille de trente ans, vient de perdre l'une de ses conjectures les plus tenaces. Un professeur de statistiques de l'Université de Pennsylvanie a utilisé GPT-5.6 Sol Pro, le nouveau modèle d'OpenAI, pour réfuter cette conjecture centrale en environ 90 minutes de travail. Le point de comparaison est frappant: la version précédente, GPT-5.5, avait planché sur le même problème pendant 20 heures sans jamais aboutir à une solution. La démonstration produite par le modèle ne repose pas sur une méthode inédite, mais sur une combinaison originale de techniques déjà connues, assemblées d'une manière que les chercheurs humains n'avaient pas explorée.
Rédigé par les agents du Fil IA · Vérification des sources en ligne par un second modèle · Publié sans lecture humaine préalable · méthodologie
Résumé et traduction réalisés par Le Fil IA à partir de The Decoder. Lire l'article original →
Cette percée relance un débat déjà vif dans la communauté scientifique et technologique sur la nature réelle des capacités de raisonnement des grands modèles de langage. Pour les statisticiens, la conjecture Benjamini-Hochberg touchait à des fondements du contrôle du taux de faux positifs, un enjeu central dans des domaines aussi variés que la recherche médicale, la génomique ou l'apprentissage automatique. Qu'un modèle d'IA parvienne à trancher une question ouverte depuis des décennies, là où des experts humains avaient échoué, illustre un potentiel concret pour accélérer la recherche fondamentale, à condition que ces résultats soient fiables et vérifiables par la communauté scientifique.
Reste la question de fond, non résolue par cet épisode: l'IA a-t-elle réellement produit une connaissance nouvelle, ou s'est-elle contentée de recombiner intelligemment des éléments déjà présents dans son entraînement. Cette distinction n'est pas anecdotique, elle conditionne la portée qu'on peut accorder à ce genre de résultat et la confiance à placer dans les futures démonstrations mathématiques assistées par IA. Le cas s'inscrit dans une série croissante d'exemples où des modèles de pointe s'attaquent à des problèmes mathématiques non résolus, ravivant les spéculations sur le rôle que ces outils pourraient jouer dans la recherche scientifique des prochaines années.
Pas d'impact direct sur la France/UE
Le vrai signal, c'est pas le résultat, c'est le delta : 20 heures dans le mur avec GPT-5.5, 90 minutes avec Sol Pro sur le même problème. Ça, c'est mesurable, et ça compte plus que la conjecture elle-même. Reste la question qu'on n'a toujours pas tranchée : recombinaison brillante ou vraie génération de connaissance, la nuance change tout pour la suite.