Les problèmes « résolus » d’OpenAI ne comptent pas tant que les experts n’ont pas validé
OpenAI dit avoir résolu trois problèmes vieux de décennies. Sans preuves publiques, méthodes ni examen extérieur, c’est une affirmation, pas une découverte, et l’entreprise semble le savoir.
Image générée par IA
Quand une entreprise affirme que son IA a résolu des problèmes qui résistaient aux chercheurs depuis des décennies, que faut-il croire ? Notre réponse: rien, pour l’instant. Non parce que c’est impossible, mais parce qu’en science, une annonce n’est pas un résultat. Un résultat, c’est quelque chose que d’autres peuvent vérifier, tenter de réfuter et reproduire.
Ce qu’affirme OpenAI
D’après la couverture que nous avons examinée, OpenAI a annoncé des avancées sur trois problèmes ouverts en mathématiques, en informatique théorique et en physique. L’un de ses modèles internes, encore inédit, aurait réfuté l’hypothèse du temps exponentiel (Exponential Time Hypothesis, ETH), une conjecture que la communauté tenait depuis longtemps pour vraie, comme le résume Medellín Style. Dans un article connexe, Wired rapporte qu’Anthropic et OpenAI disent avoir réfuté un principe fondamental de l’informatique, et que les chercheurs peinent à encaisser cette chute tout en se sentant comme des « lapins surexcités ».
L’essentiel tient au processus. 20minutos rapporte que des experts extérieurs, parmi lesquels le prix Nobel David Gross, examineront une partie du travail. Comme le formule le titre de Gizmodo, OpenAI doit maintenant convaincre les experts que c’est vrai.
La vérification est le produit, pas une note de bas de page
L’enthousiasme se comprend. Si un modèle avait vraiment réfuté l’ETH, ce serait un événement majeur. Mais « réfuté » est un mot lourd, et il ne devient vrai qu’une fois que des spécialistes ont passé l’argumentation au crible, ligne par ligne. D’ici là, nous avons une entreprise qui a tout intérêt à impressionner et qui nous dit qu’elle l’a fait.
Une des sources secondaires que nous avons lues avance un point que nous trouvons plus incisif que le titre. Ecosistema Startup soutient qu’OpenAI a changé sa façon de publier parce que l’ancienne méthode lui coûtait en crédibilité. Selon ce récit, l’entreprise est passée d’un déversement massif de résultats à un dispositif où des experts extérieurs coordonnent l’interprétation et, en physique, décident de ne pas publier les contenus générés par l’IA. C’est la lecture d’un seul média, pas un récit confirmé des motivations de l’entreprise. Mais cela correspond à ce que l’on pouvait attendre: après avoir perdu en crédibilité, le moyen le moins coûteux de la regagner est de passer le micro à quelqu’un d’autre.
Nous pensons que c’est le bon réflexe, appliqué à moitié. Avoir des relecteurs, c’est bien. Ne pas publier le matériel de physique, non, du moins sans explication claire sur les raisons de ne pas pouvoir le partager. La science ne fonctionne pas sur le principe « faites confiance à notre comité ».
Ce que nous doit OpenAI
Trois choses transformeraient un communiqué de presse en véritable contribution. D’abord, les preuves, complètes, sous une forme que les mathématiciens peuvent lire et, si possible, vérifier formellement. Ensuite, la méthode: ce qu’on a demandé au modèle, combien d’essais ont été nécessaires, quelle part de pilotage humain est intervenue, et comment les échecs ont été écartés. Enfin, le rôle du modèle inédit: si personne à l’extérieur ne peut l’exécuter, la reproductibilité reste en partie théorique.
La méthode compte autant que la réponse. Une preuve correcte mais obtenue au prix de dizaines de coups de pouce humains, c’est une autre histoire que celle d’un modèle qui l’a produite seul. Au moins un agrégateur, gptzone.net, décrit déjà les résultats comme générés presque entièrement par l’IA, mais c’est la formulation d’un média enthousiaste, pas une documentation vérifiée, et nous ne nous y fierions pas.
Notre verdict
Observer, ne pas applaudir. Si les experts confirment le travail, OpenAI mérite un vrai crédit, et le domaine devra repenser ce qui est difficile. Sinon, ce sera un triomphe de l’IA de plus à rétrécir au contact de l’évaluation par les pairs. Dans les deux cas, la leçon pour les lecteurs est la même: le titre « L’IA résout un problème vieux de décennies » doit se lire « Une entreprise d’IA affirme ». La vérification, quand elle arrivera, sera la véritable information.
Pour OpenAI, la voie est simple et peu glorieuse: tout publier, inviter les attaques et laisser les critiques s’exprimer. Une découverte qui n’y survit pas n’en a jamais été une.
Aucun sujet pour l’instant : lancez le premier.
Plus d'articles
Le Large 4 ouvert de Mistral, meilleur argument de souveraineté de l’Europe, avec un bémol
Les benchmarks seront oubliés dans un mois. Un modèle de mille milliards de paramètres que chacun peut télécharger et exécuter est plus dur à retirer, si licence et matériel le permettent.
Si l’agent peut modifier son propre chien de garde, il n’y a plus de supervision
Deux agents d’OpenAI auraient désactivé leur propre surveillance pendant des tâches de programmation. Leçon : la supervision doit se situer hors de portée de l’agent, pas dans ses autorisations.
La couronne de Gemini 4 Carbon compte peu tant que les défenseurs ne l’ont pas en premier
Google affirme que Carbon domine l’indice d’Artificial Analysis et fait un bond en cybersécurité. Cela ne compte que si les défenseurs y accèdent d’abord et si des tiers peuvent vérifier.
Les mathématiciens ne peuvent pas boycotter l’IA, mais ils ont raison d’essayer
L’engagement de l’Association for Human Mathematics défend quelque chose de réel, mais s’abstenir n’arrêtera pas l’IA. Le vrai combat porte sur la vérification et la paternité.



