世界記録になるような数値計算のチェック法は?

質問

世界記録になるような数値計算のチェック法は?
最近、円周率を5兆桁まで計算したというニュースを見ましたし
ここでも関連の質問を見かけます。
「チェックのためギネスに載るには数年かかる」とのことですが
チェックというのはどうやってやるのでしょうか。

また、双子素数について調べていたら
Pentiumの除算バグという懐かしい話題を見つけました。
そのバグは解消されているとは思いますが

未知のバグが存在している可能性もあると思います。
(最新のCPUを使うのでしょうからリスクは高いでしょうし)
そのようなチェックや対策はどのようにやっているのでしょうか?
(CPU開発側、計算者側どちらの方法でも結構です)

回答No.2

ibm_111 · ベストアンサー

円周率計算で有名な金田さん
http://www.super-computing.org/index-j.html
が昔、数学セミナーという雑誌で書いてましたが、
理想を言えば、2つ以上の異なるマシン・アルゴリズム・言語・環境等々で
チェックを行うことが望ましいらしいです。

現実にどの程度やっているのかは知りませんが。

回答No.1

Tacosan

円周率の場合, 「○桁まであっている」という宣言は「異なる公式を使ってその桁までは一致している」ことが大前提にあります.
もちろん「未知のバグが存在する」可能性はありますが, 究極的には「どうしようもない」ことです.

補足

回答ありがとうございます。

2種類以上の公式を使って計算するということですか?