OpenAI a annoncé mardi qu’un de ses modèles d’intelligence artificielle (IA) avait résolu un problème mathématique vieux de plus d’un siècle.