Did he calculate the value in decimal? The record would probably be a lot easier to achieve if he'd gone with, say, base 14. Everybody does decimal, even thou

Did he calculate the value in decimal? The record would probably be a lot easier to achieve if he'd gone with, say, base 14. Everybody does decimal, even though there's no theoretical advantage, and no practical advantage since nobody actually needs trillions of digits of pi.