No, nobody has proven pi contains every string of digits — Anecdota