Attacker can bypass cryptography and prove mathematically impossible statements