What this catalog covers

Staff select identifiable source items across several mathematical fields, check the wording and scope, retain source labels and observation dates, and preview the record against the publication contract. A separate staff action publishes it. No raw import candidate enters the public catalog.

Maintained records add a named decision in an OpenMath collection, a rationale and a recheck date. The present cluster covers known prime results, their related formulations and one bounded Lean exercise. Independent mathematical review remains pending.

“Checked” means that a cited document or source correspondence was inspected on that date. It does not mean every later paper or solution claim was reviewed. An upstream date is never inferred from the observation date. Historical sources remain historical even when visited recently.

• Most mathematical problem lists are not indexed; no complete list or field coverage is claimed.
• The Clay pilot selects five problems, not the full Millennium list. The AIM pilot selects one historical workshop question.
• Literature, partial progress and proposed solutions are not comprehensively assessed.
• The source-linked entries have no independent OpenMath mathematical-status decision.
• Staff verification, source correspondence and independent mathematical review are distinct.

Overdue check labels are computed from the recorded observation date and source cadence. Earlier reports remain visible without silently becoming a new assessment.

Use the OpenMath issue tracker to identify the Problem URL or stable ID, the publication version, the exact wording or status in question, and a dated primary source. Staff review the evidence and publish a correction with a reason, or withdraw the entry while preserving its history.

Rechecking uses the same preview and publication workflow with an expected prior version. Changed source observations receive new immutable IDs and explicit supersession links. Conflicting reports are retained with attribution, rather than merged into a universal “solved” label.