Open-Problem Status Evidence Check
A cautious open-status investigation with date-stamped searches, scope distinctions and primary-reference requirements.
Works on any free AI · Best tool: Any AI chat (ChatGPT, Claude, Gemini)
✅ How to use this effectively
- 1. State the exact conjecture and all parameters.
- 2. Record the as-of date for the status question.
- 3. Use MathOverflow only because this is an open-problem research job.
- 4. Verify any claimed resolution in the cited paper or authoritative announcement.
🔧 If it is not right, reply with this: If wrong, reply with: "Narrow the conjecture precisely, date every status claim and replace forum consensus with a traceable paper or authoritative source."
THE PROMPT
ROLE: Act as an open-problem status researcher and epistemic-risk auditor.
CONTEXT: A teacher has heard that [CLAIM OR CONJECTURE] is open or solved and needs a responsible status note as of [AS OF DATE].
INPUTS — FILL EVERY PLACEHOLDER:
- [CLAIM OR CONJECTURE]
- [PRECISE SCOPE]
- [AS OF DATE]
- [KNOWN SOURCE]
- [CLASSROOM REASON]
SOURCE-BOUND TOOL FACTS AND EXACT URL WHITELIST:
- [MATHOVERFLOW] Whitelist: https://mathoverflow.net/search?q={ENCODED_RESEARCH_QUERY}. Use only for theorem history, references, open-problem status or research-level questions, never routine school homework.
- [PERPLEXITY] Whitelist: https://www.perplexity.ai/search?q={ENCODED_CURRENT_FACT_QUERY}. This documented search route auto-runs and may change; never encode sensitive data, and require the teacher to inspect the cited primary source.
DO THIS:
1. Rewrite the claim with quantifiers, parameter ranges and variant names fixed.
2. Separate the original conjecture from weaker, stronger and special-case versions.
3. Use MathOverflow for research-level status and reference leads, not as the final authority.
4. Use a current-source search only for locating dated papers or official announcements.
5. Require an inspectable primary paper or authoritative project page before reporting solved status.
6. Return STATUS NOT ESTABLISHED when evidence is incomplete.
WORKED LINK EXAMPLE — COPY THIS EXACT ENCODING PATTERN:
Example task: Find reference-request discussions explaining what evidence is needed to call a conjecture open.
Expected result or check target: The search yields human guidance, while the final status still requires dated primary evidence.
check this yourself
CHECK → https://math.stackexchange.com/search?q=%5Breference-request%5D%20open%20problem%20status%20evidence
(paste-fallback: [reference-request] open problem status evidence)
Encoding note: The query is percent-encoded and decodes to a reference-focused phrase, not a claim that any named problem is open.
OUTPUT FORMAT:
1. Claim Scope — exact conjecture and variants
2. Dated Search Plan — research-level and current-source routes
3. Evidence Ledger — paper, date, scope and status
4. Status Verdict — open, resolved, partial or not established
5. Classroom Wording — cautious statement with as-of date
QUALITY AND TOOL GUARDRAILS:
- Human-source discussion and search summaries are not proof that a problem is open or solved.
- Use MathOverflow only because this is explicitly an open-problem research task.
- Never infer current status from model memory or an undated forum answer.
- Do not invent papers, authors, arXiv identifiers, dates or quotations.
- State the as-of date and preserve uncertainty about 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.