math-proof: siege The approach The skill works on one problem in at most MAX ROUNDS rounds. Each round a judge writes a few self-contained questions, at most WAVE of them before round ESC ROUND. The steps below call them queries. Each question goes to a fresh worker that sees only that question and the problem statement. The judge reads the answers, rewrites the running summary, and adds to a ledger of claims marked PROVED, REFUTED or OPEN. One claim is the goal, set in round 1; the judge may set a new goal at a later round, and in particular may raise it to a more significant statement once…