L'IA pourrait résoudre des problèmes mathématiques majeurs, selon le WSJ | Factae