New Pi Computation Record Using a Desktop PC
hint3 writes "Fabrice Bellard has calculated Pi to about 2.7 trillion decimal digits, besting the previous record by over 120 billion digits. While the improvement may seem small, it is an outstanding achievement because only a single desktop PC, costing less than $3,000, was used — instead of a multi-million dollar supercomputer as in the previous records."
I didn't read the article, only the summery but it made me wonder.
Do they verify these numbers somehow?
Anyone can write down a series of a numbers and claim it's a specific sequence.
Not saying these numbers aren't correct, just a thought.
- Don't do what I do, it's probably not healthy nor safe. -
Plain html is a wonderful thing. And as he points out, it would be easy to write a cgi script which returns a specified block of digits.
I wonder if he has checked for the circle?
http://michaelsmith.id.au
An answer is a reply but a reply is not always an answer.
I would assume he only needs to verify the last 120 billion digits.
Assuming his algorithm can support serialization of its state into a check-point, he can simply recalculate the last 120 billion digits a couple of times and compare.
Assuming linear time to compute each digit: 120e9/2.7e12 * 116 =~ 5 days. not too bad.
Sigs are for the weak.