I believe it can be used to verify calculations of new digits of pi. For example, if you tell me you just computed five trillion digits of pi, I can ask you for specific digits near the end and check that they match what this formula produces