StatusX

It would be a proof by contradiction of something, most likely that the algorithm used to compute the digits is wrong.