L'IA Claude d'Anthropic résout un problème mathématique ouvert depuis 1939 | Factae