OpenAI publie plus de 700 manuscrits d'IA sur des problèmes ouverts, les mathématiciens sous le choc

OpenAI a publié plus de 700 manuscrits rédigés par une IA, qui revendiquent des solutions à des problèmes mathématiques ouverts. Un blog de mathématiques a recueilli plus de 100 réactions de chercheurs. On y trouve de l'admiration pour des idées nouvelles, mais aussi de la peur existentielle et le deuil d'une manière de travailler désormais perdue. Hugo Duminil-Copin, lauréat de la médaille Fields, a répondu en quelques mots : « Je suis paralysé ».

Que s'est-il passé exactement ?

L'échelle compte ici plus que n'importe quel résultat isolé. Jusqu'à présent, les avancées mathématiques de l'IA étaient annoncées au cas par cas : un problème, une preuve, une réserve sur l'aide apportée par des humains. Cette fois, des centaines de textes arrivent d'un coup. Chacun prétend clore une question sur laquelle la communauté a buté sans succès.

D'après le matériau source, ce sont les manuscrits eux-mêmes qui revendiquent ces solutions. Ce n'est pas la même chose que des résultats confirmés. Le message ne dit pas combien de travaux ont déjà été examinés par des experts indépendants, ni combien ont résisté à cet examen. On ignore pour l'instant quelle part des 700 textes est correcte, laquelle comporte des lacunes et laquelle se révélera n'être qu'une reformulation de résultats connus. L'issue en dépend : avancée scientifique, ou avalanche de textes que personne n'est en mesure de lire.

Pourquoi la réaction est-elle aussi vive ?

Les réactions sur le blog couvrent tout le spectre. Certains chercheurs parlent de fascination : l'IA propose des idées auxquelles ils n'auraient pas pensé. D'autres évoquent la crainte pour leur métier. D'autres encore décrivent un deuil, et ce mot est révélateur. Pour un mathématicien, une démonstration n'a pas de valeur seulement comme résultat, mais aussi comme chemin vers la compréhension. Le titre du matériau, « Combien de beauté avons-nous perdue ? », touche précisément ce point. Si l'on peut produire un théorème à la chaîne, ce qui est en jeu n'est pas la vérité, mais le sens d'un travail manuel qui donnait jusqu'ici son identité à la profession.

La paralysie dont parle Duminil-Copin ressemble moins à une faiblesse qu'à une évaluation lucide. Un travail qui prenait des années peut être accompli en quelques heures, et l'on ne voit pas encore quelle part de la contribution restera humaine.

Chiffres et faits clés :

• plus de 700 manuscrits générés par une IA ont été publiés par OpenAI ;
• ils revendiquent des solutions à des problèmes mathématiques ouverts ;
• plus de 100 réactions ont été recueillies par le blog de mathématiques ;
• les réactions vont de l'intérêt pour les idées à la peur et au deuil ;
• parmi les personnes ayant réagi figure Hugo Duminil-Copin, lauréat de la médaille Fields ;
• le message source ne mentionne pas de vérification indépendante de l'ensemble des manuscrits.

Que faire en pratique ?

Le goulot d'étranglement passe de la génération d'idées à leur vérification. C'est mon analyse, et non une déclaration des auteurs, mais la logique est directe. Les mathématiciens et les départements ont intérêt à décider dès maintenant qui lira ces textes, et selon quels critères. Il faut une file de vérification experte, faute de quoi le flux de manuscrits se noiera sous son propre volume.

Les revues devront élaborer une politique : accepter ou non les travaux rédigés par une IA, comment déclarer la contribution du modèle, comment distinguer une preuve correcte d'une preuve seulement convaincante en apparence. La vérification formelle dans des systèmes comme Lean paraît un outil logique pour une partie des résultats, même si elle ne permettra pas de couvrir rapidement l'ensemble des 700 textes.

Pour ceux qui suivent le sujet depuis l'industrie, il est utile de garder en tête la différence entre « publié » et « confirmé ». Tant que la vérification n'a pas eu lieu, le titre sur 700 problèmes résolus reste une revendication. C'est la part qui tiendra qui dira si nous avons affaire à un nouvel outil pour la science ou à un nouveau cycle de promesses retentissantes.