Quels problèmes mathématiques l'IA résoudra-t-elle en 2026 ?