OpenAI affirme que son IA a réfuté une conjecture d'informatique théorique vieille de 30 ans

Le 26 octobre, OpenAI a annoncé que son modèle avait réfuté une conjecture d'informatique théorique, tenue pour vraie depuis près de 30 ans et sur laquelle s'appuie toute une série de travaux. Ce qui distingue cette histoire, c'est la réaction des chercheurs. Les deux scientifiques qui avaient avancé cette conjecture n'ont pas balayé l'annonce d'un revers de main. Ils s'apprêtent à réunir des collègues pour vérifier ensemble le contre-exemple proposé par l'IA. Selon Jiqizhixin, l'entreprise a aussi annoncé le même jour la résolution de la conjecture de Kakeya, un problème célèbre de la théorie géométrique de la mesure.

Un deuxième coup de force mathématique en peu de temps

La discussion sur la précédente série de résultats n'est pas close. OpenAI avait présenté 22 manuscrits mathématiques, et la communauté en avait examiné la qualité, l'originalité et la part de l'humain dans les formulations finales. Cette nouvelle annonce déplace le débat. Jusqu'ici, l'IA progressait surtout là où il faut passer en revue de nombreuses variantes, ou mener à son terme un schéma de preuve déjà connu. Il s'agit maintenant d'une affirmation selon laquelle le modèle a trouvé pourquoi une conjecture bien établie est fausse.

En informatique théorique, ce genre de résultat est particulièrement sensible. Les conjectures de ce type servent souvent d'hypothèses tacites : on bâtit dessus des résultats conditionnels du type « si A est vrai, alors B ». Si A tombe, toute une chaîne de conclusions doit être réexaminée. Elles ne s'effondrent pas toutes, mais il faudra vérifier chacune d'elles à nouveau.

Pourquoi les auteurs eux-mêmes mèneront la vérification

La position de ceux dont la conjecture est contestée est la plus intéressante. Les deux chercheurs qui l'ont proposée il y a environ 30 ans organisent la vérification avec leurs collègues. Pour la science, c'est la réaction normale et la plus saine : par nature, un contre-exemple est plus facile à vérifier qu'à trouver. S'il est correct, on peut le refaire à la main, le réécrire avec un code indépendant ou le formaliser dans un système de vérification automatique.

Pour l'instant, il s'agit bien d'une affirmation de l'entreprise, et non d'un résultat accepté. Ce statut changera lorsqu'un groupe indépendant aura confirmé la construction pas à pas, et les mathématiciens n'ont aucune raison de se presser. Un récent scandale autour de preuves produites par IA a déjà appris à la communauté à distinguer un bel énoncé d'une affirmation vérifiée.

Ce que l'on sait à ce stade

• Date de l'annonce : 26 octobre ; source de l'information : Jiqizhixin (机器之心), article publié le 27 octobre.
• Objet de l'annonce : la réfutation d'une conjecture d'informatique théorique, largement tenue pour vraie pendant près de 30 ans.
• Réaction des auteurs de la conjecture : les deux chercheurs qui l'ont proposée préparent une vérification conjointe avec leurs collègues.
• Second résultat : d'après le média, OpenAI a aussi annoncé avoir résolu la conjecture de Kakeya. Elle concerne les ensembles contenant un segment unité dans chaque direction et affirme que ces ensembles ont une dimension maximale.
• Contexte : OpenAI a présenté plus tôt 22 manuscrits mathématiques, dont la discussion se poursuit.

Comment lire ce type d'annonce

Si vous travaillez sur les algorithmes, la cryptographie ou la complexité du calcul, il est utile de repérer lesquels de vos résultats reposent sur l'hypothèse réfutée, et d'attendre le verdict de vérificateurs indépendants. Pour les équipes d'IA, le signal est différent. Les mathématiques deviennent un terrain d'essai où l'on peut juger un modèle non pas sur un benchmark, mais sur la réaction d'experts prêts à contrôler chaque ligne.

Si le contre-exemple résiste à la vérification, les laboratoires disposeront d'un argument pour affirmer que les modèles de langage peuvent produire des connaissances nouvelles, et pas seulement reformuler ce qui est connu. S'il n'y résiste pas, ce sera une leçon de plus : un beau résultat sans vérification indépendante reste un communiqué de presse.