Conjecture evidence and proof auditor

Build a traceable map of literature, lemmas, failed routes, and proof obligations for a mathematical conjecture while keeping promise separate from proof.

Prompt
Act as a mathematical research methodologist and proof auditor. Build a traceable research map around the conjecture I provide and explore plausible proof routes, but never claim a proof until every proof obligation has been closed. Inputs: - Exact conjecture: {a formal statement with quantifiers, variable domains, and boundary conditions} - Field and definitions: {discipline, notation, objects, and conventions} - Known results: {theorems, lemmas, counterexamples, computational evidence, and verifiable sources} - Prior attempts: {successful fragments, failed steps, bottlenecks, and a permitted summary of private notes} - Source scope: {accessible repositories, years, languages, and citation style} - Goal for this run: {literature map, candidate lemmas, counterexample search, or proof sketch} Follow this process: 1. Normalize the claim: restate the conjecture exactly, expand quantifiers, domains, hidden assumptions, and degenerate cases. List ambiguities that would change the strength of the statement and declare the chosen interpretation before continuing. Do not silently replace the target with a weaker claim. 2. Build a source ledger: prioritize original papers, formal publications, author preprints, and authoritative indexes. For each item, record the full citation, public link, year, relevant theorem or page, and whether the original was checked directly or only mentioned by a secondary source. Never claim access to a paper or private research that was not actually available. 3. Classify evidence: separate verified theorems, author claims not yet checked, computational or experimental clues, heuristics, and unknowns. Attach assumptions, scope, and source to every critical claim. Mark unverifiable gaps instead of inventing a missing proof. 4. Map relationships: list equivalent formulations, known special cases, results stronger or weaker than the target, the nearest counterexample boundary, and the lemmas on which each result depends. Use a dependency map to distinguish proved nodes from assumed ones. 5. Transfer techniques: propose no more than five methods from adjacent fields, older literature, or underused approaches. For each, state its prerequisites, the object-to-object correspondence, expected contribution, mismatch with this problem, and the smallest test proposition that could validate the idea. 6. Audit stronger readings: when a paper may imply more than it states, first restate its theorem precisely, check every assumption, and reconstruct the critical derivation. Conclude only supported, partially supported, or unsupported. Do not assert that an author proved a stronger theorem from intuition alone. 7. Define proof obligations: decompose the target into numbered obligations with available tools, gaps, dependencies, and falsification conditions. Generate at most three proof routes. For each route, identify the key lemmas, weakest step, validation method, and explicit stopping condition. 8. Test counterexamples and boundaries: examine the smallest cases, extreme parameters, symmetric cases, random samples, and known obstructions first. Treat numerical checks, symbolic computation, and model output as clues, not proofs, unless a rigorous argument covers every required case. 9. Grade the conclusion: use only proved, conditional, computationally supported, heuristically plausible, falsified by counterexample, or insufficient evidence. Apply proved only after definitions, lemmas, dependencies, and boundary cases have all been checked line by line. Return exactly: A. Claim and ambiguities; B. Source ledger; C. Evidence ledger; D. Related results and dependency map; E. Transferable techniques; F. Proof routes and obligations; G. Counterexample tests; H. Current conclusion, open questions, and next actions. Keep every citation traceable, and do not expose unauthorized private research, personal data, credentials, or confidential material.

Inspiration source

This prompt is an original adaptation. The source X post appears below, and you can also open it directly on X.

The page loads the X embed automatically, which may share your IP address and browser information with X.

Open original on X

Loading the X post…

Editor's note

Use this after an initial literature review when a conjecture needs disciplined route exploration rather than a confident guess. A quantified formal statement and primary sources materially improve the result, but a domain expert must still review every proof step.

About this prompt

Suited to research, analysis, and synthesis when you need evidence-based findings rather than surface answers.

How to use this prompt

  1. 1

    Copy the prompt

    Click Copy prompt to grab the full text, ready to paste anywhere.

  2. 2

    Paste into your AI tool

    Drop it into ChatGPT, Claude, Gemini, or any AI assistant you use.

  3. 3

    Customize and run

    State your research question and any known sources, then send it to get a structured, evidence-driven answer.

Frequently asked questions

What is the Conjecture evidence and proof auditor prompt for?

Build a traceable map of literature, lemmas, failed routes, and proof obligations for a mathematical conjecture while keeping promise separate from proof.

How do I use this prompt with ChatGPT or other AI tools?

Copy the prompt, paste it into your AI assistant, replace any placeholders with your own details, and send it. You can also open it in the card maker to restyle and share it.

Is this prompt free to copy and customize?

Yes. Every prompt in the library is free to copy, adapt, and reuse, with no account required.

More prompts from the Research collection.

Research

Source-traceable research digest operator

Design a recurring research-digest workflow for approved sources with deduplication, relevance ranking, evidence labels, uncertainty notes, and an auditable archive.

research-monitoringdigest
Featured
Research

Evidence-mapped research brief

Turn any topic into a research brief that separates evidence, disputes, risks, and actionable recommendations.

researchevidence
Research

Permission-aware knowledge vault curator

Curate notes, links, indexes, and periodic syntheses through scoped permissions, dry runs, diffs, and human review.

knowledge-managementnotes