Joe McCann and his audience discovered that Cleo was a ploy at ragebaiting the math forum in order to drive engagement for more useful proofs. A real-world Cunningham's Law social experiment.

So maybe OpenAI's ridiculous approach to mathematics has value in how it's ragebaiting us to scrutinize and/or come up with better proofs!