OpenAI a publié 722 preuves mathématiques générées par l’intelligence artificielle dans 17 domaines, suscitant des débats sur le rapport coût-efficacité et l’utilité pratique. Bien que vérifiées par des machines, de nombreuses preuves manquent d’interprétabilité humaine, des erreurs sur un seul symbole entraînant des défaillances en cascade. Les mathématiciens craignent que l’IA ne fasse que recombiner des connaissances existantes, déplaçant la charge de tri et d’interprétation de vastes volumes de résultats sur les chercheurs humains, sans générer les idées novatrices au cœur de la recherche mathématique.