Les prouesses mathématiques de l'IA : crise de confiance ou ère nouvelle ?

Le paysage de la science fondamentale est en pleine mutation, en particulier en mathématiques, où les récentes percées de l'IA ne se contentent pas de résoudre des problèmes; elles provoquent une « crise existentielle » parmi les esprits humains qui, jadis, détenaient le monopole de la pensée abstraite. Pendant des décennies, l'IA en mathématiques était largement reléguée à l'assistance computationnelle, à savoir une calculatrice puissante. Désormais, des modèles non commercialisés des principaux acteurs ne se contentent pas d'aider, mais génèrent indépendamment des preuves pour des énigmes qui ont déconcerté l'humanité pendant des générations, nous obligeant à réévaluer notre rôle dans la quête de la connaissance.

Ces derniers mois n'ont été rien de moins qu'un tourbillon, en particulier pour les mathématiciens. Dans une série d'annonces vertigineuses, les modèles d'IA se sont attaqués à certains des défis les plus redoutables du domaine. Notamment, OpenAI a annoncé le 8 septembre 2026 la résolution de l'un des très convoités problèmes du prix du millénaire, l'équation de Navier-Stokes, décrivant l'écoulement des fluides. Cette percée, qui est encore en cours de confirmation, aurait nécessité des dizaines de millions de dollars, 10 000 agents travaillant pendant 88 heures et 17 heures de vérification, produisant une solution démontrant un résultat « explosif » pour l'équation sciencesetavenir.fr.

Il ne s'agissait pas d'un événement isolé. Plus tôt, le 20 mai 2026, OpenAI a révélé une infirmation générée par l'IA de la conjecture d'Erdős sur la distance unitaire, un problème de géométrie combinatoire qui avait échappé aux mathématiciens depuis 1946. Selon les experts, l'IA a vraiment offert une idée nouvelle pour trouver ce contre-exemple sciencesetavenir.fr. L'entreprise a poursuivi sa lancée le 1er août 2026, en publiant « Dix avancées en mathématiques et en informatique théorique » réalisées par son modèle Astra, y compris l'infirmation de la conjecture de rigidité de Connes openai.com. Pour ne pas être en reste, des concurrents comme Anthropic ont également annoncé des progrès significatifs, avec leur mathématicien Levent Alpöge découvrant un contre-exemple à la conjecture jacobienne (ouverte depuis 1939) le 19 juillet 2026, et démontrant plus tard l'existence d'une structure complexe pour la sphère de dimension 6 le 23 août 2026 sciencesetavenir.fr. Le volume impressionnant de ces réalisations, y compris les solutions de l'IA à plus de 300 problèmes dans divers domaines, a été décrit comme un véritable 'tsunami'.