Proof checkers fuel the AI hype by outputting "valid" for a hallucinated text. /s