Contexte et faits

Le 6 octobre 2026, OpenAI a rendu public plus de 700 articles de recherche portant sur divers domaines des mathématiques. L’auteur du billet, Frank Calegari, affirme que ces travaux démontrent que l’IA est désormais capable de produire des contributions novatrices dans la discipline. Il souligne toutefois deux défauts majeurs : une rédaction jugée « atrociously written », et une absence d’attribution conforme aux standards académiques. Certains des résultats présentés seraient même erronés, ce qui alimente les critiques quant à la fiabilité du processus de génération automatisée.

Réactions de la communauté

Face à cet afflux, plusieurs mathématiciens expriment de la frustration. Hugo Duminil‑Copin, cité dans le texte, déplore que « tout ait été prétendu prouvé », indiquant une perception d’appropriation excessive des problèmes ouverts. Calegari rappelle le précédent de la classification des groupes finis simples : annoncée initialement par Dan Gorenstein en 1972, puis présentée en 1983, avant que les cas « quasithin » ne soient résolus deux décennies plus tard par Aschbacher et Smith. Cette histoire montre comment une avancée perçue comme définitive peut, paradoxalement, réduire l’intérêt pour le sujet.

Analyse historique et comparaisons

La classification a été à la fois un triomphe technique et une source de désengagement, les mathématiciens se tournant vers d’autres champs après la « solution ». Calegari suggère que le dépôt massif d’articles d’OpenAI pourrait produire un effet similaire : la sensation que les problèmes majeurs sont « résolus » pourrait décourager l’exploration de nouvelles directions. Il insiste sur le fait que même une résolution complète du programme de Langlands ne serait pas comparable à la résolution d’une problématique chimique, rappelant la complexité intrinsèque des structures mathématiques.

Perspectives d’utilisation de l’IA

L’auteur voit toutefois un potentiel positif. En combinant l’IA avec des connaissances profondes, on pourrait dépasser le « premier conjecture naturel » et aborder des questions plus structurales. Il évoque son expérience personnelle avec les variétés hyperboliques 3‑dimensionnelles arithmétiques : pour chaque corps quadratique imaginaire K, il existe de nombreuses classes de commensurabilité de variétés compactes indexées par des algèbres de quaternions non scindées. Les volumes de ces variétés sont des multiples rationnels d’une constante géométrique, et pourraient être organisés en un système analogue aux points de Heegner via une version arithmétique du correspondance de Jacquet‑Langlands. Une IA capable d’explorer ces liens pourrait identifier des patterns invisibles aux chercheurs humains.