Tech • IA • Robotique • Jeu
OpenAI vient de bouleverser les maths avec son IA la plus puissante à ce jour
9.4/10INTRO
OpenAI a publié 722 articles de mathématiques générés par IA revendiquant des avancées sur de grands problèmes ouverts, suscitant à la fois l’enthousiasme face à d’éventuelles percées et la colère autour du secret, de la vérification et du contrôle corporatif de la recherche mathématique.
POINTS CLÉS
Une publication massive de résultats mathématiques par IA
Le 6 octobre, OpenAI a publié 722 articles dans un dépôt public OpenAI/Math, regroupés en 372 familles de résultats et d’articles de suivi. Pour 235 familles, l’entreprise a aussi publié des preuves en Lean, un langage formel permettant une vérification informatique pas à pas. OpenAI a indiqué que les articles non vérifiés pouvaient contenir des erreurs, et que les versions antérieures comme les révisions resteraient publiques.
Comment ces résultats ont été produits
Après l’épuisement supposé des benchmarks internes, le modèle a été testé sur environ 4 000 problèmes réels non résolus, et seuls les résultats significatifs ont été retenus pour publication. OpenAI a déclaré que la plupart des articles avaient été produits par un agent et un prompt, avec en moyenne environ trois heures de calcul. Deux projets particulièrement difficiles, liés aux conjectures de Riemann et de Hodge, ont reçu un effort supplémentaire, et le manuscrit sur Riemann a été peaufiné par des humains.
Une revendication majeure sur l’hypothèse de Riemann
L’article le plus surveillé vise l’hypothèse de Riemann, l’un des problèmes non résolus les plus célèbres en mathématiques depuis 1859. Le résultat ne prétend pas fournir une preuve complète, mais exclurait des zéros d’une région extérieure où ils pourraient se trouver pour une vaste famille de fonctions liées, et écarterait aussi le redouté zéro de Siegel. Si cela est correct, des spécialistes y voient la plus grande avancée dans ce domaine depuis des décennies, et la preuve a été formalisée en Lean.
Une preuve revendiquée de la conjecture des jeux uniques
Un autre résultat phare est un article intitulé The Unique Games Theorem, qui affirme prouver la conjecture des jeux uniques de Subhash Khot datant de 2002. Ce problème sous-tend des résultats de difficulté d’approximation pour des tâches d’optimisation comme Max-Cut et des problèmes de type couverture minimale. La publication revendique aussi des preuves directes de conséquences clés, avec l’ambition de trancher une question centrale de l’informatique théorique.
D’autres problèmes très médiatisés visés
Le dépôt comprend aussi des avancées revendiquées sur la conjecture de Hodge, autre problème du prix du millénaire, en la démontrant pour une grande classe spéciale de variétés dans toute dimension et en résolvant deux conjectures liées. D’autres articles revendiquent des résultats sur le problème de Kakeya en 3D et 4D, une version du dixième problème de Hilbert sur les rationnels, l’irrationalité de la constante de Catalan, une conjecture géométrique de longue date en toute dimension, ainsi que des problèmes sur les nombres premiers, l’approximation, les aimants et le plasma.
Retour de bâton des mathématiciens
Au lieu d’être célébrée, la publication a provoqué un fort retour de bâton. De nombreux mathématiciens estiment que les entreprises d’IA transforment les problèmes les plus difficiles de l’humanité en tableau de scores, tout en retenant les systèmes nécessaires à une réplication indépendante. Plusieurs chercheurs ont indiqué que des échanges privés antérieurs avec OpenAI laissaient penser à un processus plus lent et plus compatible avec l’évaluation, et certains ont jugé que ces attentes avaient été ignorées.
Conflit sur la priorité et la pression
Les tensions étaient déjà fortes après un différend distinct autour de travaux sur Navier-Stokes. Le mathématicien de NYU Tristan Buckmaster a allégué qu’OpenAI avait réagi agressivement après avoir appris qu’une autre équipe pouvait être proche d’une percée, et a décrit un comportement qu’il jugeait menaçant et destiné à sécuriser la priorité. Ces accusations ont alimenté les comparaisons entre grands laboratoires d’IA et centres de pouvoir coercitifs, même si OpenAI a contesté ces caractérisations.
Directives et exigences de transparence
Une initiative consultative liée à l’Institute for Advanced Study, impliquant des mathématiciens de premier plan comme Timothy Gowers, Martin Hairer et Edward Witten, a publié des directives après avoir entendu plus de 600 mathématiciens. Les recommandations appelaient à éviter les tests de modèles privés sur de grands problèmes ouverts, à divulguer les prompts, la puissance de calcul, les coûts et les échecs, à utiliser des preuves vérifiées par machine, et à stocker les résultats hors du contrôle de l’entreprise. Les critiques affirment qu’OpenAI n’a fourni que des informations partielles et contrôle toujours le dépôt principal.
Un conflit plus large sur l’avenir des mathématiques
Certains chercheurs voient dans ces articles le début d’un changement profond du travail mathématique, où les humains se concentreraient davantage sur le choix des questions, l’orientation des systèmes d’IA et l’interprétation des résultats. D’autres avertissent que des affirmations invérifiables issues de modèles fermés pourraient nuire à la confiance, fausser l’attribution du mérite et concentrer le pouvoir dans quelques entreprises. Même parmi les partisans de la découverte assistée par IA, beaucoup estiment que la question centrale n’est plus de savoir si les machines peuvent contribuer aux mathématiques, mais qui gouvernera ce processus et selon quelles normes.
CONCLUSION
La publication OpenAI/Math a transformé les mathématiques pures en ligne de front d’un conflit sur la preuve, le mérite et l’accès. Que ces revendications résistent ou non à l’examen, l’équilibre entre culture scientifique ouverte et systèmes d’IA d’entreprise fermés est désormais directement sous pression.
Poser une question