Use when Codex should turn fuzzy mathematical background, scattered notes, domain intuition, failed proof attempts, immature theorem ideas, or extremal graph questions needing variants into ranked candidate problems, a conjecture lattice, evidence ledger, counterexample pressure, proof obligations, work orders, and a resumable research_state_packet. Use before theorem proving or formal verification when the user does not yet know which mathematical problem should be pursued.
