Introduction
Pendant des siècles, les mathématiques ont été perçues comme la forteresse ultime de l’intelligence humaine. Un royaume fait de certitudes absolues, de théorèmes inébranlables et d’équations où seul l’esprit humain régnait en maître.
Mais aujourd’hui, nous vivons dans un monde qui bouleverse toutes ces règles. Nous avons dans nos poches des intelligences artificielles capables de rédiger des poèmes, de traduire des langues en temps réel ou de créer des œuvres d’art. Et le séisme ne s’arrête pas là. L’IA s’attaque désormais aux fondations mêmes de notre propre forteresse.
Aujourd’hui, des algorithmes parviennent à résoudre des conjectures mathématiques d’une difficulté inouïe. Des machines commencent à s’attaquer avec succès aux fameux problèmes posés par le grand mathématicien David Hilbert au tout début du siècle précédent — des défis qui ont tenu en échec les esprits les plus brillants pendant plus de cent ans. Je peux vous faire une confidence : cela jette un véritable trouble dans la communauté des mathématiciens. Si une machine peut raisonner, démontrer des théorèmes complexes et surpasser l’intuition humaine, une question vertigineuse se pose : Le royaume des maths est-il tombé ? L’intelligence artificielle a-t-elle définitivement détrôné la reine des sciences ?
Voilà une question à laquelle il est difficile d’apporter une réponse définitive tant l’IA se développe rapidement et nous réserve chaque jour une surprise. Mais, à cette question, il y a plus qu’une seule réponse. C’est ce que nous essaierons de découvrir ensemble.
