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.
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/