[aaronbwebber]

It appears they have, the y-cruncher program he used does verification. Alexander Yee, who wrote the y-cruncher program (which has been used for the previous 4 world record calculations of digits of Pi), has accepted it and posted it on their site, along with screenshots of the output of the program.

http://www.numberworld.org/y-cruncher/

[hamiltont]

One cool note per my reading here - prior record holder Emma Haruka Iwao was working for GCP as a developer advocate, and GCP makes her 31.4 trillion digits available via cloud images. Neat :-)

For those of us with less insane needs, they also exposed an API to grab the specific digits of interest - https://pi.delivery/