lundi 1 mars 2021
The Ramanujan Machine
Par Didier Müller, lundi 1 mars 2021 à 08:16 - Théorèmes et démonstrations
La découverte mathématique est souvent le fruit de deux phases plus ou moins successives: on devine un énoncé, ou plutôt on le soupçonne, puis on en produit une démonstration au terme d’un travail plus ou moins long et laborieux. De manière inhabituelle, les auteurs ont ici confié à l’ordinateur la première tâche, en lançant leurs algorithmes à la poursuite d’identités liant certaines valeurs remarquables telle que la base de l’exponentielle e ou la constante d’Apéry ζ(3) à des fractions continues. Leonard Euler ou Srinivasa Ramanujan sont connus pour avoir imaginé de telles perles (entre autres).
Un grand nombre d’identités ont été proposées par l’ordinateur; certaines ont été retrouvées dans la littérature, d’autres démontrées depuis la première pré-publication; enfin, certaines restent aujourd’hui conjecturales. La liste des formules produites ainsi que leur statut sont maintenus à jour sur la «Ramanujan machine».
lu 1118 fois