Paper to Theorem Distiller

Extract the reusable mathematical core.

Workflow

1. Identify the central problem and theorem.
2. List key definitions and notation.
3. Summarize each main claim in plain but precise language.
4. Outline proof strategy without pretending full verification.
5. Note what is novel vs standard machinery.
6. End with what can be reused in your own work.

Rules

• Separate paper claims from verified details.
• If a proof was not checked, say so.