Quand quelqu'un calcule 31 trillions de décimales de $\pi$, comment peut-il savoir qu'il a raison ?

Article initialement publié sur Quora

le “quelqu’un” est un ordinateur qui exécute un algorithme prouvé mathématiquement correct.

Celà dit, la probabilité qu’un rayon cosmique vienne modifier un bit et fausser le résultat d’un si gros calcul n’est en effet pas négligeable.

Mais en réalité on s’en fiche. Il n’y a aucun besoin de connaître plus d’une dizaine de décimales de pi, voir How many digits of Pi are required in physics?

Voir aussi 15000 décimales de Pi en 133 octets de C pour un exemple d’algorithme qui calcule en n’utilisant que des nombres entiers !

La version Python est ici : Goulib.math2.pi_digits_gen documentation