While Pi is not proven to be a disjunctive number, nor the stronger condition of being normal, it is generally believed to be normal. That being said we don't have a proof of Pi being normal, nor disjunctive.

I am not familiar with how a proof of that would be constructed, as clearly numerical or computational measurements could never be conclusive.