From the FAQ: "I’m having fun with this, and the tone is occasionally lighthearted"
The claim that pi is wrong is a claim about pi's inconsistency and inefficiency as a matter of mathematical language design. These guys aren't dumb enough to confuse this as a claim about formal correctness. Instead, they're playfully co-opting the rhetoric of formal correctness.