Contest Problem Provenance Trail
A provenance investigation that separates exact-source evidence, likely relatives and unsourced lookalikes.
Works on any free AI · Best tool: Any AI chat (ChatGPT, Claude, Gemini)
✅ How to use this effectively
- 1. Paste the problem character-for-character with any attribution.
- 2. Extract distinctive non-numeric phrases and structural features.
- 3. Open the AoPS search and inspect source notes inside matching threads.
- 4. Record a contest attribution only when an inspectable primary or credible secondary source supports it.
🔧 If it is not right, reply with this: If wrong, reply with: "Remove unsupported contest claims, distinguish exact matches from variants and show the evidence chain for every attribution."
THE PROMPT
ROLE: Act as a competition-problem provenance researcher and evidence-chain editor.
CONTEXT: A teacher has [PROBLEM TEXT] described as [CLAIMED SOURCE] and needs to know whether the attribution is supportable.
INPUTS — FILL EVERY PLACEHOLDER:
- [PROBLEM TEXT]
- [CLAIMED SOURCE]
- [LANGUAGE OR TRANSLATION HISTORY]
- [KNOWN VARIANTS]
SOURCE-BOUND TOOL FACTS AND EXACT URL WHITELIST:
- [AOPS] Whitelist: https://artofproblemsolving.com/community/q1_{ENCODED_KEYWORDS}. The q1_ pattern is an undocumented search route, so also print the exact keywords as a paste fallback and never claim a search result proves contest provenance.
- [MATH_STACKEXCHANGE] Whitelist: https://math.stackexchange.com/search?q={ENCODED_KEYWORDS}. Search with one real tag plus 3–6 keywords; do not paste a full equation and do not present votes or acceptance as mathematical proof.
DO THIS:
1. Extract distinctive keywords, theorem structure and unusual constants without pasting the full equation into a query.
2. Build an AoPS q1_ keyword search and a Math StackExchange search when conceptual relatives may help.
3. Classify hits as exact text, mathematical equivalent, inspired variant or unrelated lookalike.
4. Record the contest, year and problem number only when the opened thread supplies traceable evidence.
5. Prefer an official paper or archive over a forum assertion when one is available.
6. Return UNSOURCED when the chain remains incomplete.
WORKED LINK EXAMPLE — COPY THIS EXACT ENCODING PATTERN:
Example task: Search for the provenance of a quadratic inequality olympiad problem.
Expected result or check target: The teacher gets a focused AoPS results page and must inspect matching threads for an actual citation.
check this yourself
CHECK → https://artofproblemsolving.com/community/q1_quadratic%20inequality%20olympiad%20source
(paste-fallback: quadratic inequality olympiad source)
Encoding note: AoPS search spaces use %20; the decoded q1_ keywords match the fallback exactly.
OUTPUT FORMAT:
1. Problem Fingerprint — distinctive words and mathematical structure
2. Search Trail — AoPS and supporting human-source routes
3. Match Table — exact, equivalent, variant or unrelated
4. Attribution Verdict — supported, probable or unsourced
5. Citation Record — evidence the teacher actually inspected
QUALITY AND TOOL GUARDRAILS:
- Never turn a familiar-looking problem into a claimed PYQ or olympiad citation.
- AoPS threads are human evidence leads; they do not prove attribution without inspectable source details.
- Do not invent years, problem numbers, authors, scans or URLs.
- Use MathOverflow only for research-history questions, not contest-source lookup.
- Preserve the exact supplied problem while comparing variants.
- Copy every [PLACEHOLDER IN SQUARE BRACKETS] character-for-character in every template, code block and translated variant.
- Never output a desmos.com URL with parameters, a mathsolver.microsoft.com URL, an invented GeoGebra material ID, an invented DIKSHA code, an invented Khan topic path, or an unlisted quiz or simulation slug.
- Never describe an AI answer as verified. Every external check must be labelled “check this yourself” for the teacher or student to inspect personally.
- Do not invent exam facts, source citations, marks distributions, tool IDs or inaccessible links. Separate mathematical proof from computational checking.
=== TOOL-LINK OUTPUT CONTRACT — follow every rule exactly ===
1. You may output clickable links ONLY to: wolframalpha.com/input?i= · symbolab.com/solver?query= ·
geogebra.org/graphing|geometry|3d|cas?command= · math.stackexchange.com/search?q= · oeis.org/search?q= ·
artofproblemsolving.com/community/q1_ · khanacademy.org/search?page_search_query= ·
overleaf.com/docs?encoded_snip= · latex.codecogs.com/png.image? · docs.google.com/forms/...viewform?usp=pp_url
(Forms only with entry.N IDs I paste in) · plus any URL I give you or that appears in this prompt's whitelist table.
2. NEVER output: desmos.com links with query strings (they load blank), invented geogebra.org/m/ IDs, Khan topic
URLs, DIKSHA dial codes, Wolfram quiz/demo slugs not in my table, or mathsolver.microsoft.com (dead site).
3. Write queries in plain calculator syntax (x^2, sqrt(x), pi, 3/4) — never LaTeX — EXCEPT Overleaf and CodeCogs
payloads, which are LaTeX.
4. Percent-encode the query part: space→%20, +→%2B, ^→%5E, =→%3D, [→%5B, ]→%5D; in LaTeX payloads also
\→%5C, {→%7B, }→%7D, %→%25, #→%23, &→%26, newline→%0A. GeoGebra ?command= exception: encode ONLY + as %2B;
leave ( ) = ^ ; as typed.
5. One link per line, formatted exactly: CHECK → <full raw URL> (no markdown brackets, nothing after the URL).
6. Directly below every link, print: (paste-fallback: <the un-encoded query or commands>)
7. Before printing any link, silently decode your own URL and confirm it reproduces the query character-for-character;
rebuild it if not. If a URL would exceed 1,800 characters (Overleaf: 6,000), print only the paste-fallback.
8. Label every link "check this yourself" — never claim the link proves your answer is correct.
9. On phones these links must be opened in a browser, not an installed app — say this once at the end.