The Short Version
No mathematician has ever proven that π is a normal number — in any base. The claim presents an unresolved conjecture as established fact. While empirical tests on trillions of digits show distributions consistent with normality, consistency over a finite prefix cannot establish the infinite limiting-frequency property that normality requires. Every authoritative source in the evidence pool, including those most favorable to the claim, confirms that this remains one of the major open problems in mathematics.