Proof AI is dumb | ScratchStats