Bonjour, Le calcul de PI que j'avais lance au debut du mois de septembre vient de se terminer. Le premier calcul et la verification concordent, donc les chances qu'il y ait une erreur sont *tres* faibles.

Les chiffres hexadecimaux a partir du 10^12 ieme chiffre binaire sont:

87F72B1DC9786914B15B16FE9218B042A3D410

soit 38 chiffres hexadecimaux ou 152 bits. J'ai suppose que le premier chiffre binaire apres la virgule avait pour rang 1, ce qui est la convention en vigueur.

Si on exprime en base 2 a partir du rang 10^12 , on obtient:

1000 0111 1111 0111 ...

Notez que le 10^12 ieme bit n'a ete fourni que par la verification. Etant donne que la suite concorde, les risques d'erreur sont quasi nuls pour ce bit.

Le premier calcul a necessite 220 jours de temps machine. Le second 180 jours grace a un programme mieux optimise. Je n'ai utilise le programme optimise que vers le milieu de la verification. Si je l'avais utilise des le debut, le calcul aurait pris 140 jours de temps machine. En temps reel, le premier calcul a pris 12 jours. Le second 13 jours car moins de machines etaient disponibles.

Je tiens a remercier les quelques amis qui ont bien voulu lancer le programme sur les ordinateurs non utilises auxquels ils pouvaient acceder. Je remercie en particulier Samuel Orzan, Theresa Lam, Bruno Beaufils et Lionel Ulmer.

Cordialement,

Fabrice Bellard (Sept. 22, 1997).