Jusqu’où les intelligences artificielles ? Peuvent-elles concurrencer les mathématiques ? Si les IA « génératives » gagnent en capacité à résoudre des problèmes, elles restent fortement dépendantes des fondements mathématiques pour structurer leurs raisonnements, notamment sur les questions d’abstraction, de preuve et de démonstration.
l’IA ne cherche pas seulement à remplacer les mathématiciens, mais à co-évoluer avec eux. Les mathématiques conservent un rôle central pour définir rigoureusement « ce que l’IA peut et ne peut pas faire » — et pour limiter ses dérives. Cependant, une nouvelle phase s’ouvre où l’IA propose des outils d’exploration et de conjecture, laissant aux humains la tâche d’établir des preuves formelles.
Dans ce contexte, nous sommes invités à repenser la place des mathématiques non plus comme discipline isolée mais comme infrastructure essentielle de la prochaine génération d’IA : celle-ci aura besoin de cadres mathématiques pour devenir fiable, explicable et créative. L’enjeu est de développer une « intelligence artificielle augmentée », capable de s’appuyer sur les mathématiques et non de s’en affranchir.