Intelligence artificielle L’intelligence artificielle résout une conjecture mathématique vieille de dix anspar La rédaction 17 avril 2026