OpenAI publie 377 résultats mathématiques dérivés de l'IA alors que les meilleurs mathématiciens mettent en garde contre un domaine à deux niveaux

OpenAI a publié des résultats sur 377 problèmes de recherche mathématique, a annoncé la société dans un article de blog intitulé « Partager les progrès de l'IA en mathématiques » publié le mardi 6 octobre 2026, dans le cadre de sa deuxième publication majeure en mathématiques en autant de mois.

Les résultats couvrent l'algèbre, l'informatique théorique et la logique mathématique, et arrivent quelques semaines seulement après qu'OpenAI ait revendiqué une solution aux équations de Navier-Stokes, l'un des problèmes non résolus les plus célèbres au monde, doté d'un prix d'un million de dollars. Cette affirmation antérieure divisait déjà les mathématiciens ; la publication beaucoup plus importante de cette semaine a aiguisé le débat. Pour les lecteurs qui suivent les dernières nouvelles sur l'IA (https://aibuzzwire.news), l'épisode est devenu le test le plus clair à ce jour sur la manière dont la communauté des chercheurs devrait gérer les résultats générés par les machines que les humains ne peuvent pas facilement vérifier.

Ce qu'OpenAI a réellement publié

Selon The Guardian, OpenAI a publié « plus de 370 résultats mathématiques sur une variété de sujets tels que l'algèbre, l'informatique théorique et la logique mathématique ». Le New York Times a estimé le nombre de problèmes à 377, tandis que le New Scientist a rapporté que la publication incluait 722 découvertes mathématiques une fois les résultats auxiliaires comptabilisés. Les chiffres variables reflètent différentes manières de regrouper les lemmes, les corollaires et les solutions complètes en « résultats » discrets.

C’est l’ampleur qui a stupéfié les observateurs. Alors que l'affirmation de Navier-Stokes du mois dernier impliquait un résultat unique et minutieusement examiné, cette version a abouti d'un seul coup : des centaines de découvertes dans plusieurs sous-domaines, générées par les modèles internes les plus avancés d'OpenAI. L'histoire a attiré la couverture du Washington Post, de The Economist, du Wall Street Journal et de Fortune en une journée, et le billet du blog OpenAI a dominé Hacker News avec plus d'un millier de votes positifs.

L'Institut d'études avancées recule

L'Institute for Advanced Study de Princeton, dans le New Jersey – qui abrite depuis longtemps des personnalités comme Einstein et von Neumann – a déclaré qu'il n'approuvait pas la pratique consistant à tester des modèles frontières par rapport aux problèmes ouverts les plus difficiles du domaine, en particulier lorsque le travail se déroule à huis clos.

"Il est désormais vrai que l'IA peut produire des arguments mathématiques dans des situations sans que l'humain qui l'a incité soit capable de comprendre les arguments, de les vérifier ou d'en assumer la responsabilité", a déclaré l'organisation dans un communiqué. "Nous pensons que la compréhension humaine des mathématiques reste d'une importance primordiale."

Le souci n’est pas que les résultats soient nécessairement faux. Le fait est que les mathématiques en tant que discipline dépendent de la vérification, et un flot d’affirmations générées par des machines et qu’aucun humain n’a vérifiées ne cadre pas facilement avec les normes scientifiques.

Réponse d'OpenAI : une place à la table

Pour faire face à cette réaction négative, OpenAI a annoncé qu'elle travaillerait avec l'Institute for Advanced Study pour donner « aux mathématiciens une voix sur la manière dont nous allons de l'avant ». Ce à quoi l'entreprise ne s'est pas engagée, a noté The Guardian, c'est un changement dans la pratique sous-jacente : OpenAI n'a donné aucune indication qu'elle cesserait de tester des problèmes avancés sur des modèles internes propriétaires.

Le conseil consultatif de l'Institut a également demandé aux laboratoires d'IA d'accorder un « accès équitable » à leurs systèmes frontières. "L'utilisation de modèles internes exclusifs par les laboratoires d'IA pour effectuer des recherches mathématiques risque de créer un système à deux niveaux dans lequel les laboratoires devancent le reste du domaine, éloignant ainsi la communauté mathématique de sa propre discipline", a écrit le groupe.

'Prenez le travail de quelqu'un et menez-le à son terme'

Les mathématiciens proches des problèmes concernés soulèvent une question plus subtile : le crédit. Tristan Buckmaster, un mathématicien de l'Université de New York qui travaillait sur le problème Navier-Stokes, a déclaré au New York Times que les chercheurs qui incitent les modèles d'IA pourraient fournir des progrès partiels aux modèles, puis les terminer.

"Il y aura probablement de nombreux résultats lorsqu'ils prendront le travail de quelqu'un et le mèneront ensuite à son terme", a déclaré Buckmaster.

Si elle est exacte, cette dynamique complique à la fois l’attribution et l’évaluation. Un résultat qui ressemble à une avancée technologique indépendante pourrait en fait être la dernière étape d’un échafaudage construit par l’homme – un échafaudage que l’humain n’a jamais accepté de céder.

Ce que cela signifie pour la recherche sur l'IA

Les publications mathématiques deviennent une vitrine récurrente des capacités des laboratoires pionniers et un test de résistance récurrent sur la manière dont la science absorbe la production des machines. Le cadrage du Wall Street Journal a capturé le coup du lapin : l'IA a résolu un problème de mathématiques et tout le monde a paniqué – elle en a maintenant résolu des centaines d'autres.

Trois questions façonneront la suite des événements. Premièrement, la vérification : les mathématiciens indépendants auront besoin de mois pour vérifier ne serait-ce qu'une fraction de 377 résultats, et les erreurs, si elles sont détectées, affecteront gravement la crédibilité d'OpenAI. Deuxièmement, l’accès : les laboratoires doivent-ils ouvrir leurs modèles les plus solides à des chercheurs extérieurs, comme l’exige l’Institut, ou maintenir la boucle fermée ? Troisièmement, la priorité : comme le suggère la préoccupation de Buckmaster, le domaine pourrait avoir besoin de nouvelles normes pour créditer les preuves collaboratives homme-IA.

OpenAI n'a pas répondu aux demandes de commentaires sur les critiques, selon The Guardian. Que le partenariat avec l’Institute for Advanced Study produise des normes applicables – ou qu’il documente simplement le désaccord – déterminera probablement si les mathématiques restent la principale référence en matière de progrès de l’IA de pointe, ou si elles deviennent le premier domaine à s’y opposer officiellement.

Gardez une longueur d'avance sur l'IA Lisez plus d'actualités sur l'IA sur AI Buzz Wire