Cristian Guerra · QA Automation · Medellín, Colombia · @criguex

Statement mutants

Each mutant changes one symbol in the official challenge statement while OpenAI's proof stays untouched. Comparator must refuse every one, and a comment-only control must still pass.

How to read this animation: Original line on top, mutated line below with the change highlighted. A refusal shows the statement check is exact; it does not mean the mutated statement is false, and the f = 0 cases say nothing about (A) or (B).

Open the evidence animation gallery · Download standalone HTML