Quatre semaines après avoir résolu un « problème du millénaire », l'entreprise d'intelligence artificielle Open AI a publié simultanément des résultats concernant 377 autres théorèmes, dont beaucoup sont de très haut niveau. Les mathématiciens sont sous le choc face à cette avancée rapide. Cette publication massive de preuves générées par l'IA soulève des questions fondamentales sur l'avenir de la recherche mathématique. L'impact de ces découvertes sur des domaines complexes reste encore à évaluer. La communauté scientifique s'interroge sur la méthode employée par Open AI et sur la vérification de ces preuves. Certains craignent que cela ne marque un tournant décisif dans la discipline, tandis que d'autres voient une opportunité d’accélération des découvertes. L’annonce a provoqué une onde de choc dans le monde des mathématiques à l'échelle mondiale.