L'IA d'OpenAI aurait résolu un problème mathématique millénaire, selon des experts · 2 rédactions