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».