円周率計算の世界記録は12.1兆桁らしいが、これって本当にあってるの？

先日新聞で読んだ円周率に関する記事。

計算桁数記録は現在12.1兆桁。日本人の近藤茂さんと米国人のアレクサンダー・Ｊ・イーさんのタッグで生み出された成果らしい。

12.1兆桁という途方もない桁数にも驚いたが、それよりも気になったのは前人未踏の12.1兆桁って誰がどうやって正しいことを証明するんだろうってこと (´・ω・`)