[math-fun] 5000 billion digits of Pi

Apparently, a certain Kondo from Japan in collaboration with Alexander Yee over internet successfuly computed pi to 5000 decimal digits, There is no mention of method, timing, what computer , etc. here is the news in french http://www.starwizz.com/japon-nombre-pi-calculs-67780 they mention it somewhere on the 'Le Monde' in Paris, best regards and have a nice day, simon plouffe