Que peut apporter l’intelligence artificielle à l’apprentissage et à la recherche en mathématiques et en sciences ? À partir d’expériences personnelles et de travaux scientifiques, cet article examine ce que différents outils, des modèles de langage aux assistants de preuve, permettent de faire et ce qu’il reste à vérifier. Il distingue le temps gagné des progrès dans la compréhension et l’acquisition des connaissances, et interroge les conditions d’un usage responsable qui favorise l’autonomie et la rigueur, en tenant compte des enjeux sociaux, économiques, écologiques et politiques.
How can artificial intelligence help us learn and do research in mathematics and science? Drawing on personal experience and published research, this article explores what tools ranging from language models to proof assistants can do and what users still need to verify. It distinguishes saving time from deepening understanding and acquiring knowledge. It also considers how to use these tools responsibly in ways that foster independent thinking and rigor, while taking into account the social, economic, environmental, and political issues they raise.