Install any skill in seconds. Free to start, no credit card required.
Get Started Free →Use when anticipating how an expert Annals of Mathematics referee will verify a proof — stress-testing the argument for gaps, checking external dependencies, and pre-empting the questions a careful reader will ask. Hardens the manuscript before submission; does not write the rebuttal (anmath-revision).
| Test case | Without → With | Effect | Δ tokens | Δ turns |
|---|---|---|---|---|
| case-02 | ✗→✓ | ▲ Improved | -13% | 0% |
| case-03 | ✗→✓ | ▲ Improved | -37% | 0% |
| case-01 | ✗→✓ | ▲ Improved | 26% | 0% |
| case-21 | ✗→✓ | ▲ Improved | 15% | 0% |
| case-04 | ✓→✓ | = Same ✓ | 43% | 0% |
Expect a referee who is an expert and verifies proofs in detail, often over a long period (a year or more is common). They do not skim; they reconstruct each step. Their implicit questions:
| Probe | What to do before they do | |-------|---------------------------| | Where is the crux? | Make sure it is fully spelled out and easy to locate | | Which step is weakest? | Strengthen or expand it; do not hope it is overlooked | | Every "clearly"/"standard" | Resolve or cite it (see anmath-writing-style) | | Every external theorem | Re-read the cited source; confirm hypotheses match your use | | Quantifiers / constants | Confirm order and dependence are stated and correct | | Special / boundary cases | Check the degenerate cases the main argument might miss | | Computer-assisted steps | Confirm code/data are archived and the claim is reproducible |
piece — this speeds a long review and reduces the chance of misreading.
and remove a common source of objections.
on it; reduce or remove such dependence where possible.
do not pack the list with close collaborators.
【Crux locatable & complete】yes / fix: ...
【Weakest step】... → strengthened / expanded
【External-citation re-check】hypotheses match use: yes / fix: ...
【Boundary cases】covered / add: ...
【Computer-assisted reproducible】n/a / yes
【Suggested referees】names (conflict-free); conflicts declared: ...
【Residual risks to flag to editor】...
【Next step】submit, then await report → anmath-revisionOther measured skills in the registry, with their headline benchmark lift.